There's No Rust on This Ironclad Kernel: An OS Written in Ada
hackaday.com