Redox Kernel. A small operating system core written in Rust that runs programs safely and efficiently.