3 ms·Great to see an open source kernel written in Ada. Next step: Ada-based userland!by musicale 1y agoGreat to see an open source kernel written in Ada. Next step: Ada-based userland!