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