The kernel does not currently support running as a hypervisor on RISC-V so there are no VMs on RISC-V in Microkit.
If you look at [1] and the PR description you can find the relevant branches/ patches needed to run virtual machines on RISC-V. [1]: https://github.com/au-ts/libvmm/pull/121 Ivan _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
