該樓層疑似違規(guī)已被系統(tǒng)折疊?隱藏此樓查看此樓

引入成熟的微內(nèi)核技術(shù)改良reactos。reactos作為NT兼容操作系統(tǒng)計(jì)劃一直在為內(nèi)核優(yōu)化改良付出巨大的努力。但是為兼容NT操作系統(tǒng)應(yīng)用已經(jīng)分散大量精力。何不利用下外部項(xiàng)目的先進(jìn)成果。應(yīng)用sel4微內(nèi)核的高度安全特性打造ntoskrnl模塊的穩(wěn)固。進(jìn)而把精力用于繼續(xù)兼容windows應(yīng)用，或者引入posix子用戶(hù)層兼容UNIX/Linux軟件。

----------------------------

一個(gè)宣稱(chēng)是“世界上最可靠的操作系統(tǒng)”的、由澳大利亞開(kāi)發(fā)的SecureEmbeddedL4(簡(jiǎn)稱(chēng)seL4)微內(nèi)核現(xiàn)在面向全球開(kāi)源了。L4是一組基于微內(nèi)核構(gòu)架的操作系統(tǒng)內(nèi)核。五年前,澳大利亞研究組織NICTA創(chuàng)造了一個(gè)新的L4版本,稱(chēng)為SecureEmbeddedL4,宣布在世界上率先開(kāi)發(fā)出第一個(gè)正規(guī)機(jī)器檢測(cè)證明(formalmachine-checkedproof)通用操作系統(tǒng)。seL4微內(nèi)核設(shè)計(jì)針對(duì)實(shí)時(shí)應(yīng)用,可潛在應(yīng)用于強(qiáng)調(diào)安全和關(guān)鍵性任務(wù)的領(lǐng)域內(nèi),如軍用和醫(yī)療行業(yè)。該系統(tǒng)的

一個(gè)宣稱(chēng)是“世界上最可靠的操作系統(tǒng)”的、由澳大利亞開(kāi)發(fā)的 Secure Embedded L4(簡(jiǎn)稱(chēng)seL4)微內(nèi)核現(xiàn)在面向全球開(kāi)源了。

“世界上最可靠的操作系統(tǒng)”seL4開(kāi)源了！

L4是一組基于微內(nèi)核構(gòu)架的操作系統(tǒng)內(nèi)核。五年前,澳大利亞研究組織NICTA創(chuàng)造了一個(gè)新的L4版本,稱(chēng)為 Secure Embedded L4,宣布在世界上率先開(kāi)發(fā)出第一個(gè)正規(guī)機(jī)器檢測(cè)證明(formal machine-checked proof)通用操作系統(tǒng)。seL4微內(nèi)核設(shè)計(jì)針對(duì)實(shí)時(shí)應(yīng)用,可潛在應(yīng)用于強(qiáng)調(diào)安全和關(guān)鍵性任務(wù)的領(lǐng)域內(nèi),如軍用和醫(yī)療行業(yè)。

該系統(tǒng)的開(kāi)源版本包括所有seL4內(nèi)核的源代碼、證明和規(guī)范,再加上過(guò)去五年中開(kāi)發(fā)的一系列額外程序,如工具、庫(kù)和可用于建立值得信賴(lài)的系統(tǒng)的示例程序。

NICTA軟件系統(tǒng)研究組長(zhǎng)GernotHeiser表示,今天的關(guān)鍵軟件有根本性的弊端。 “通過(guò)開(kāi)放seL4,我們希望為全球的開(kāi)發(fā)人員創(chuàng)建一個(gè)可靠的系統(tǒng)社區(qū),其應(yīng)用領(lǐng)域從國(guó)家安全到汽車(chē)、機(jī)械植入器、工業(yè)自動(dòng)化和企業(yè)BYOD”。

總結(jié)

以上是生活随笔為你收集整理的鸿蒙系统 微内核 sel4,引入成熟的微内核技术改良reactos，如sel4的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。