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