Ironclad OS項目正在開發一個新的類Unix操作系統內核,面向小型嵌入式系統,計劃支持實時功能。該項目的獨特之處在于采用Ada編程語言及其可形式化驗證的SPARK子集進行開發,而非常見的C、C++或Rust語言。項目還包含運行在Ironclad內核上的完整操作系統Gloire,使用GNU工具構建以提供傳統Unix兼容性。
北京第二十六維信息技術有限公司(至頂網)版權所有. 京ICP備15039648號-7 京ICP證161336號京公網安備 11010802021500號
舉報電話:010-62641205-5060 涉未成年人舉報專線:010-62641208 舉報郵箱:jubao@zhiding.cn
網上有害信息舉報專區:https://www.12377.cn