Hiljuti ilmus GitHubis Gloire operatsioonisüsteemi hoidla. Gloire kasutab Ironcladi tuuma, mis on kirjutatud Ada programmeerimiskeeles, ning GNU kasutajakeskkonda. Ironcladi pühendatud veebisaidil on märgitud, et see on 'formaalses kontrollimises'.
Gloire operatsioonisüsteemile on saadaval alglaadimispildid x86 jaoks, kuigi toetatavat riistvara on seni vähe.
Gloire hoidla: https://github.com/streaksu/Gloire?tab=readme-ov-file
Tuuma projekti veebisait: https://ironclad.nongnu.org
N nii Gloire kui ka Ironclad jaotatakse GNU General Public License versiooni 3 alusel.
Allikas: linux.org.ru
