An OS kernel written in rust. Non POSIX - View it on GitHub