[seL4] Re: Release 2.0.0 of Microkit

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