A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V - View it on GitHub