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 -- [email protected] To unsubscribe send an email to [email protected]
