Great to see an open source kernel written in Ada.

Next step: Ada-based userland!