Pebble is a microkernel and userspace written in Rust. It is still early in development.

The best place to learn more about Pebble is the book.