Riċentement, deher repożitorju għas-sistema operattiva Gloire fuq Github. Gloire juża l-qalba Ironclad, miktuba fil-lingwa ta 'programmar Ada, u l-ambjent tal-utent GNU. Il-websajt Ironclad tgħid li tinsab fil-proċess ta '"verifika formali."
Immaġini tal-boot huma disponibbli għal x86 għal Gloire OS, għalkemm il-ħardwer appoġġjat għadu limitat.
Repożitorju Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Il-websajt tal-proġett Kernel: https://ironclad.nongnu.org
Kemm Gloire kif ukoll Ironclad huma liċenzjati taħt il-GNU General Public License verżjoni 3.
Sors: linux.org.ru
