GitHub repository: IsaacWoods/pebble
Primary language: Rust
Description: Microkernel and userspace written in Rust, with first-class message passing