GitHub repository: monocodus-demonstrations/pebble
Description: Microkernel and userspace written in Rust, with first-class message passing