This PR adds initial support for RISC-V guests to libvmm.
Right now, only 64-bit guests are supported/tested.
This PR is a draft as there is still much more work to do and more to test/fix such as multiple vCPUs are more complex example systems, but right now a Linux guest can boot and get into user-space.
This PR will likely not be merged for a while as it depends on changes to seL4, which will require an RFC and code review that typically takes months.
To try out this PR, you will need changes a specific branch of Microkit and seL4:
This PR adds initial support for RISC-V guests to libvmm.
Right now, only 64-bit guests are supported/tested.
This PR is a draft as there is still much more work to do and more to test/fix such as multiple vCPUs are more complex example systems, but right now a Linux guest can boot and get into user-space.
This PR will likely not be merged for a while as it depends on changes to seL4, which will require an RFC and code review that typically takes months.
To try out this PR, you will need changes a specific branch of Microkit and seL4: