The goals of Redox: https://www.redox-os.org/book/book/introduction/what_is_redox.html (Unixish and Linux compatible, but a microkernel with userland utilities all in Rust!)