There's No Rust on This Ironclad Kernel

Great to see an open source kernel written in Ada.

Next step: Ada-based userland!