CuBit is another operating system in SPARK/Ada.

1. https://blog.adacore.com/cubit-a-general-purpose-operating-s...

2. https://github.com/docandrew/CuBit