Verify DPCPU and VNET pointer relocations in riscv purecap kernels

Question

Verify DPCPU and VNET pointer relocations in riscv purecap kernels

markjdb opened this issue a year ago · 1 comments

See PR #1909. The same problem might need to be fixed on riscv as well. Opening this to keep track of the issue until I have a bit of time to spend on it.

Answer 1 · 2024-10-09T17:29:34.000Z

I haven't been able to trigger any problems while using VNETs (i.e., running portions of the regression test suite) in a cheri-riscv VM. I don't think there's anything to do here.