A multi-platform kernel written in Rust