該樓層疑似違規已被系統折疊?隱藏此樓查看此樓

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

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

一個宣稱是“世界上最可靠的操作系統”的、由澳大利亞開發的SecureEmbeddedL4(簡稱seL4)微內核現在面向全球開源了。L4是一組基于微內核構架的操作系統內核。五年前,澳大利亞研究組織NICTA創造了一個新的L4版本,稱為SecureEmbeddedL4,宣布在世界上率先開發出第一個正規機器檢測證明(formalmachine-checkedproof)通用操作系統。seL4微內核設計針對實時應用,可潛在應用于強調安全和關鍵性任務的領域內,如軍用和醫療行業。該系統的

一個宣稱是“世界上最可靠的操作系統”的、由澳大利亞開發的 Secure Embedded L4(簡稱seL4)微內核現在面向全球開源了。

“世界上最可靠的操作系統”seL4開源了！

L4是一組基于微內核構架的操作系統內核。五年前,澳大利亞研究組織NICTA創造了一個新的L4版本,稱為 Secure Embedded L4,宣布在世界上率先開發出第一個正規機器檢測證明(formal machine-checked proof)通用操作系統。seL4微內核設計針對實時應用,可潛在應用于強調安全和關鍵性任務的領域內,如軍用和醫療行業。

該系統的開源版本包括所有seL4內核的源代碼、證明和規范,再加上過去五年中開發的一系列額外程序,如工具、庫和可用于建立值得信賴的系統的示例程序。

NICTA軟件系統研究組長GernotHeiser表示,今天的關鍵軟件有根本性的弊端。 “通過開放seL4,我們希望為全球的開發人員創建一個可靠的系統社區,其應用領域從國家安全到汽車、機械植入器、工業自動化和企業BYOD”。

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。