[$] Asterinas: a new Linux-compatible kernel project

Asterinas is a newLinux-ABI-compatible kernel project written in Rust, based on what theauthors call a "framekernel architecture". The project overlaps somewhatwith the goals of the Rust for Linuxproject, but approaches the problem space from a different direction bytrying to get the best from both monolithic and microkernel designs.