Comment by panick21_

We are gettig an increasing amount of interesting Rust operating system for different uses.

- Hubris for deep embedded

- Redox OS for Desktop/Server (https://www.redox-os.org/)

- Tock for embedded (https://www.tockos.org/)

- Xous for trusted devices (https://xobs.io/announcing-xous-the-betrusted-operating-syst...)

I assume there are more.