5 ms·There's No Rust on This Ironclad Kernel7 points by ajdude 11mo agomusicale 11mo agoGreat to see an open source kernel written in Ada. Next step: Ada-based userland!