Kürzlich wurde ein Repository des Betriebssystems Gloire auf Github veröffentlicht. Gloire verwendet den Ironclad-Kernel, der in der Programmiersprache Ada geschrieben ist, sowie die GNU-Nutzerumgebung. Auf der Webseite, die Ironclad gewidmet ist, steht, dass sich das System im Prozess der "formalen Verifizierung" befindet.
Für das Betriebssystem Gloire sind Boot-Images für x86 verfügbar, obwohl bisher nur wenig unterstützte Hardware vorhanden ist.
Gloire Repository: https://github.com/streaksu/Gloire?tab=readme-ov-file
Projektwebsite des Kernels: https://ironclad.nongnu.org
Sowohl Gloire als auch Ironclad werden unter der GNU General Public License Version 3 vertrieben.
Quelle: linux.org.ru
