GitHub repository: lapolinar/rustboot
Description: A tiny 32 bit kernel written in Rust