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