Bare-metal hypervisor written in Rust for RISC-V
diosix.org