Na Githubu se nedávno objevil repozitář operačního systému Gloire. Gloire využívá jádro Ironclad napsané v programovacím jazyce Ada a uživatelské prostředí GNU. Na webu věnovaném Ironclad se uvádí, že je v procesu "formální verifikace".
Pro OS Gloire jsou k dispozici bootovací obrazy pro x86, ačkoli podporovaného hardwaru je zatím málo.
Repozitář Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Web projektu jádra: https://ironclad.nongnu.org
Jak Gloire, tak Ironclad jsou šířeny pod podmínkami GNU General Public License verze 3.
Zdroj: linux.org.ru
