GitHub repository: rcore-os/RVM1.5
Primary language: Rust
Description: A Type-1.5 hypervisor written in Rust.