Скоро на 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
