A tiny 64 bit kernel written in Rust