A tiny 32 bit kernel written in Rust, for fun - View it on GitHub