Comment by tiffanyh

17 hours ago

OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).

https://www.redox-os.org/

Redox has a proper architecture, aka microkernel multiserver.

Thus it is a much more interesting project.