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