Наскоро на Github се появи репозиториум на операционната система Gloire. Gloire използва ядро Ironclad, написано на програмен език Ada, и потребителска среда GNU. На сайта, посветен на Ironclad, е написано, че то е в процес на "формална верификация".
За ОС Gloire са налични образи за зареждане за x86, въпреки че в момента има малко поддържано оборудване.
Репозиторий Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Сайт на проекта на ядрото: https://ironclad.nongnu.org
И Gloire, и Ironclad са разпространявани при условията на GNU General Public License версия 3.
Източник: linux.org.ru
