A kernel written in Rust