Redox: A Rust Operating System - View it on GitHub