It has been a while since the last Redox OS release, so let me explain. I wrote an operating system where the (micro)kernel, drivers, services, and applications are mostly written in Rust. Even the C library is written in Rust - check it out!
https://www.redox-os.org/news/release-0.7.0/

@jeremy_soller heh it actually booted on my system bare metal