Rux

made by sorpaas, submitted by davidbalbert
An seL4-inspired microkernel written in Rust.