Ironclad-networking

Real-time capable, UNIX-like operating system kernel in SPARK/ADA
Is freely licensed? ✅
Website https://ironclad-os.org
Source https://codeberg.org/Ironclad/Ironclad
NLNet grant pages