GitHub repository: sarvex/hubris
Primary language: Rust
Description: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.