Asterinas: OS kernel written in Rust and providing Linux-compatible ABIgithub.com/asterinas1 pointlimoce2 years ago