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
