Linux 基金會(huì )正在與澳大利亞國家科學(xué)機構 CSIRO 合作，打造 seL4 操作系統微內核生態(tài)。

　　近日 Linux 基金會(huì )宣布托管 seL4 基金會(huì )，該基金會(huì )以澳大利亞國家科學(xué)機構 CSIRO 的數字機構 Data61 創(chuàng )建的 seL4 操作系統微內核為基礎項目。seL4 是一個(gè)安全操作系統內核，旨在確?，F實(shí)世界中關(guān)鍵計算機系統的機密性、安全性和可靠性。

　　基金會(huì )創(chuàng )始成員包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber ?與 UNSW Sydney。

　　seL4 是 L4 微內核家族的成員，它為系統中運行的應用之間的隔離提供了最高級別保障，可以遏制系統某一部分的危害，并防止損害系統中其它可能更關(guān)鍵的部分。

　　據介紹，seL4 是世界上第一個(gè)通過(guò)數學(xué)方法被證明安全的操作系統內核，并且在安全的基礎上還強調高性能，是世界上最快、最先進(jìn)的 OS 微內核。它對于嵌入式計算系統的安全可信賴(lài)方面將會(huì )有極大意義，具體來(lái)看可能影響到航空電子、自動(dòng)駕駛汽車(chē)、醫療設備、關(guān)鍵基礎設施與國防等行業(yè)。理論上，SeL4 可以用作 Linux 和其它類(lèi) Unix 操作系統的底層基礎，甚至此前曾被考慮用于 GNU/Linux “真內核” GNU Hurd。
　?。?a href="http://www.hnsema.com">邯鄲微信托管）

聯(lián)合國：中國去年成為最...

微軟宣布推出 IPE，解決...