GitHub repository: woehr/rsL4
Primary language: Rust
Description: An embedded operating system built on seL4 in the Rust language.