RustOS

You may be interested in these projects: https://github.com/ryanra/RustOS RustOS is hobby OS project that's pretty bare bones, but has similar ideas to what you've mentioned. It's essentially a port of the Rust standard library to bare metal, relying on the safety of the language rather than hardware features. It's sort-of a unikernel in implementation if not intention. https://github.com/helena-project/tock Tock is an interesting academic project to create an embedded OS. It still uses more traditional hardware protection for user processes, since these can be written in any language. The kernel, however, is composed of cooperatively-scheduled components called capsules, which rely on the language for isolation and don't have the overhead associated with real processes. See this doc for more details: https://www.tockos.org/documentation/

Is there an OS yet in Rust though? Google tells me about these projects: https://github.com/ryanra/RustOS http://scialex.github.io/reenix.pdf