Nedavno se na Githubu pojavilo spremište za operativni sistem Gloire. Gloire koristi jezgro Ironclad, napisano u programskom jeziku Ada, i GNU korisničko okruženje. Ironclad web stranica navodi da je u procesu "formalne verifikacije".
Slike za pokretanje su dostupne za x86 za Gloire OS, iako je podržani hardver još uvijek ograničen.
Gloire spremište: https://github.com/streaksu/Gloire?tab=readme-ov-file
Web stranica projekta kernel: https://ironclad.nongnu.org
I Gloire i Ironclad su licencirani pod GNU Općom javnom licencom, verzija 3.
izvor: linux.org.ru
