On: Asterinas: OS kernel written in Rust and providing Linux-compatible ABI

[pjmlp]

Besides all examples, Microsoft is now using TockOS for Pluton firmware, another Rust based OS.

https://tockos.org/