Së fundmi, në Github u shfaq një depo e sistemit operativ Gloire. Gloire përdor bërthamën Ironclad, e shkruar në gjuhën e programimit Ada, dhe mjedisin përdorues GNU. Në faqen e dedikuar për Ironclad shkruhet se është në procesin e «verifikimit formal».
Për OS Gloire janë të disponueshme imazhe boot për x86, megjithëse numri i pajisjeve të mbështetura është ende i vogël.
Depoja Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Faqja e projektit të bërthamës: https://ironclad.nongnu.org
Të dyja Gloire dhe Ironclad shpërndahen sipas kushteve të Licencës Publike të Përgjithshme GNU versioni 3.
Burimi: linux.org.ru
