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