There's No Rust on This Ironclad Kernel (hackaday.com)

Great to see an open source kernel written in Ada.

Next step: Ada-based userland!