A tiny 32 bit kernel written in Rust, for fun