A multi-platform kernel written in Rust - View it on GitHub