Lilos

lilos is a small operating system for embedded Rust applications. It’s intended for applications that have real-time needs. (from the URL)