Ironclad

Hard real-time capable kernel written in SPARK/Ada

Is freely licensed?	✅
Website	https://ironclad-os.org
Source	https://codeberg.org/Ironclad/Ironclad
NLNet grant pages	https://nlnet.nl/project/Ironclad