Nemrégiben megjelent a Gloire operációs rendszer GitHubon található tárolója. A Gloire az Ironclad kernelt használja, amely Ada programozási nyelven íródott, és a GNU felhasználói környezetet. Az Ironcladra szánt weboldalon olvasható, hogy "formális verifikáción" folyik.
A Gloire operációs rendszerhez elérhetők x86-os bootolható képek, bár a támogatott hardverek száma egyelőre korlátozott.
Gloire tároló: https://github.com/streaksu/Gloire?tab=readme-ov-file
A kernel projekt weboldala: https://ironclad.nongnu.org
A Gloire és az Ironclad a GNU General Public License 3. verziója alatt érhetők el.
Forrás: linux.org.ru
