A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux.
https://github.com/asterinas/asterinas