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

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

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

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

　　據(jù)介紹，seL4 是世界上第一個通過數(shù)學方法被證明安全的操作系統(tǒng)內(nèi)核，并且在安全的基礎上還強調(diào)高性能，是世界上最快、最先進的 OS 微內(nèi)核。它對于嵌入式計算系統(tǒng)的安全可信賴方面將會有極大意義，具體來看可能影響到航空電子、自動駕駛汽車、醫(yī)療設備、關鍵基礎設施與國防等行業(yè)。理論上，SeL4 可以用作 Linux 和其它類 Unix 操作系統(tǒng)的底層基礎，甚至此前曾被考慮用于 GNU/Linux “真內(nèi)核” GNU Hurd。

特別提醒：本網(wǎng)內(nèi)容轉載自其他媒體，目的在于傳遞更多信息，并不代表本網(wǎng)贊同其觀點。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實，對本文以及其中全部或者部分內(nèi)容、文字的真實性、完整性、及時性本站不作任何保證或承諾，并請自行核實相關內(nèi)容。本站不承擔此類作品侵權行為的直接責任及連帶責任。如若本網(wǎng)有任何內(nèi)容侵犯您的權益，請及時聯(lián)系我們，本站將會在24小時內(nèi)處理完畢。