Onlangs verscheen er een repository van het besturingssysteem Gloire op Github. Gloire gebruikt de Ironclad-kernel, geschreven in de programmeertaal Ada, en een GNU-gebruikersomgeving. Op de website gewijd aan Ironclad staat dat het zich in de «formele verificatie» bevindt.
Voor het besturingssysteem Gloire zijn er opstartimages beschikbaar voor x86, hoewel er nog maar weinig ondersteunde hardware is.
Repository van Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Projectwebsite van de kernel: https://ironclad.nongnu.org
Zowel Gloire als Ironclad worden verspreid onder de voorwaarden van de GNU General Public License versie 3.
Bron: linux.org.ru
