An OS written in Rust