G github.com Asterinas: OS kernel written in Rust and providing Linux-compatible ABI 364 points Klasiaster 2 years ago 224 comments