Simple port of SeL4 to Rust, for learning and fun. - View it on GitHub