Hiljuti ilmus GitHubis Gloire operatsioonisüsteemi hoidla. Gloire kasutab Ironcladi tuuma, mis on kirjutatud Ada programmeerimiskeeles, ja GNU kasutajakeskkonda. Ironcladi veebisaidil on kirjutatud, et see on «formaalses verifitseerimises».
Gloire operatsioonisüsteemile on saadaval käivituspildid x86 arhitektuurile, kuigi toetatud riistvara on praegu piiratud.
Gloire hoidla: https://github.com/streaksu/Gloire?tab=readme-ov-file
Tuuma projekti veebisait: https://ironclad.nongnu.org
N tanto Gloire kuin Ironclad levitatakse GNU General Public License versiooni 3 alusel.
Allikas: linux.org.ru
