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