Me and some other people are working on a seL4-based OS in Rust. We're getting ready to publically announce our first milestone by next week. There's also http

Me and some other people are working on a seL4-based OS in Rust. We're getting ready to publically announce our first milestone by next week. There's also https://github.com/thepowersgang/rust_os https://github.com/thepowersgang/rust_os, which is one of the oldest OS written in Rust, but never gets any press.