Së fundmi, në Github është shfaqur një depo e sistemit operativ Gloire. Gloire përdor kernelin Ironclad, të shkruar në gjuhën programuese Ada, dhe ambientin e përdoruesit GNU. Në faqen kushtuar Ironclad shpërndahet se ai është në procesin e 'verifikimit formal'.
Për OS Gloire janë në dispozicion imazhe ngarkimi për x86, megjithëse pajisjet e mbështetura janë ende pak.
Depo e Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Faqja e projektit të kernelit: https://ironclad.nongnu.org
Si Gloire ashtu edhe Ironclad shpërndahen nën kushtet e GNU General Public License versioni 3.
Burimi: linux.org.ru
