Manticore is a research operating system, written in Rust. - View it on GitHub