Comment by Aerbil313

Relevant, also an OS written in and made possible by Rust: https://www.theseus-os.com/

Rust’s compile-time guarantees make an entirely different, single address space, single privilege level OS architecture possible. There is no kernel/userspace distinction. I hope it succeeds.