L4rs

L4rs (read Lars) is an L4 inspired Microkernel for Rust.