Gloire — Betriebssystem mit dem Ironclad-Kernel in der Programmiersprache Ada
Vor kurzem ist ein Repository des Betriebssystems Gloire auf Github erschienen. Gloire verwendet den Ironclad-Kernel, der in der Programmiersprache Ada geschrieben wurde, und eine benutzerdefinierte GNU-Umgebung. Auf der Website, die dem Ironclad gewidmet ist, steht, dass es sich im Prozess der "formalen Verifikation" befindet. Für das Betriebssystem Gloire sind bootfähige Images für x86 verfügbar, obwohl es derzeit nur wenig unterstützte Hardware gibt. Repository von Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Website des Kernprojekts: https://ironclad.nongnu.org Und Gloire, […]
