Gloire — ein Betriebssystem mit dem Ironclad-Kernel in der Programmiersprache Ada.

Kürzlich wurde im Github-Repository das Betriebssystem Gloire veröffentlicht. Gloire nutzt den Ironclad-Kernel, der in der Programmiersprache Ada geschrieben ist, sowie die GNU-Benutzerumgebung. Auf der Website, die dem Ironclad gewidmet ist, steht, dass es sich in einem Prozess der „formalen Verifizierung“ befindet.

Für das Betriebssystem Gloire sind bootfähige Images für x86 verfügbar, obwohl die unterstützte Hardware derzeit begrenzt ist.

Gloire-Repository: https://github.com/streaksu/Gloire?tab=readme-ov-file

Website des Kernel-Projekts: https://ironclad.nongnu.org

Sowohl Gloire als auch Ironclad werden unter der GNU General Public License in Version 3 vertrieben.

Quelle: linux.org.ru