Recent pe Github a apărut un repository al sistemului de operare Gloire. Gloire folosește nucleul Ironclad, scris în limbajul de programare Ada, și un mediu utilizator GNU. Pe site-ul dedicat lui Ironclad, este menționat că acesta se află în proces de «verificare formală».
Pentru sistemul de operare Gloire sunt disponibile imagini de boot pentru x86, deși numărul de hardware suportat este încă redus.
Repository-ul Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Site-ul proiectului nucleului: https://ironclad.nongnu.org
Atât Gloire, cât și Ironclad sunt distribuite sub licența GNU General Public License versiunea 3.
Sursa: linux.org.ru
