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