Niedawno na GitHubie pojawiło się repozytorium systemu operacyjnego Gloire. Gloire wykorzystuje jądro Ironclad, napisane w języku programowania Ada, oraz środowisko użytkownika GNU. Na stronie poświęconej Ironclad stwierdzono, że jest ono w trakcie „formalnej weryfikacji”.
Dla systemu operacyjnego Gloire dostępne są obrazy rozruchowe dla x86, chociaż wspieranego sprzętu jak na razie jest mało.
Repozytorium Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Strona projektu jądra: https://ironclad.nongnu.org
Zarówno Gloire, jak i Ironclad są rozpowszechniane na warunkach GNU General Public License w wersji 3.
Źródło: linux.org.ru
