Redox
Redox is an operating system written in Rust
...Our aim is to provide a fully functioning Unix-like microkernel, that is both secure and free. We have modest compatibility with POSIX, allowing Redox to run many programs without porting. We take inspiration from Plan9, Minix, Linux, and BSD. Redox aims to synthesize years of research and hard won experience into a system that feels modern and familiar. Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism. We want to be able to use it, without obstructions, as an alternative to Linux on our computers. ...