"Redox is a general purpose operating system written in pure 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."