For nylig blev et repository for operativsystemet Gloire offentliggjort på Github. Gloire bruger Ironclad-kernen, som er skrevet i programmeringssproget Ada, og GNU brugerflade. På hjemmesiden dedikeret til Ironclad står der, at det er i færd med "formel verifikation".
Der er boot images til Gloire OS tilgængelige for x86, selvom det understøttede hardware stadig er begrænset.
Gloire repository: https://github.com/streaksu/Gloire?tab=readme-ov-file
Projektwebsite for kernen: https://ironclad.nongnu.org
Både Gloire og Ironclad distribueres under GNU General Public License version 3.
Kilde: linux.org.ru
