Asterinas is a new Linux-ABI-compatible kernel project written in Rust, based on what the autho [...]