OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).
Redox has a proper architecture, aka microkernel multiserver.
Thus it is a much more interesting project.
This is fascinating! Couldn't really find the kernel code but would love to know more about the applicability. I'm curious since seeing the Unikraft release that promised millisecond container boot times