There's No Rust on This Ironclad Kernel: An OS Written in Ada | Not Hacker News!