There's No Rust on This Ironclad Kernel hackaday.com 7 points by ajdude 2 months ago · 1 comment Reader PiP Save musicale 2 months ago Great to see an open source kernel written in Ada.Next step: Ada-based userland!