Full threadjonjacky·CuBit is another operating system in SPARK/Ada.1. https://blog.adacore.com/cubit-a-general-purpose-operating-s...2. https://github.com/docandrew/CuBitView on HN