Linux 基金會(huì)正在與澳大利亞國(guó)家科學(xué)機(jī)構(gòu) CSIRO 合作,打造 seL4 操作系統(tǒng)微內(nèi)核生態(tài)。

近日 Linux 基金會(huì)宣布托管 seL4 基金會(huì),該基金會(huì)以澳大利亞國(guó)家科學(xué)機(jī)構(gòu) CSIRO 的數(shù)字機(jī)構(gòu) Data61 創(chuàng)建的 seL4 操作系統(tǒng)微內(nèi)核為基礎(chǔ)項(xiàng)目。seL4 是一個(gè)安全操作系統(tǒng)內(nèi)核,旨在確保現(xiàn)實(shí)世界中關(guān)鍵計(jì)算機(jī)系統(tǒng)的機(jī)密性、安全性和可靠性。
基金會(huì)創(chuàng)始成員包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 與 UNSW Sydney。
seL4 是 L4 微內(nèi)核家族的成員,它為系統(tǒng)中運(yùn)行的應(yīng)用之間的隔離提供了最高級(jí)別保障,可以遏制系統(tǒng)某一部分的危害,并防止損害系統(tǒng)中其它可能更關(guān)鍵的部分。

據(jù)介紹,seL4 是世界上第一個(gè)通過(guò)數(shù)學(xué)方法被證明安全的操作系統(tǒng)內(nèi)核,并且在安全的基礎(chǔ)上還強(qiáng)調(diào)高性能,是世界上最快、最先進(jìn)的 OS 微內(nèi)核。它對(duì)于嵌入式計(jì)算系統(tǒng)的安全可信賴方面將會(huì)有極大意義,具體來(lái)看可能影響到航空電子、自動(dòng)駕駛汽車、醫(yī)療設(shè)備、關(guān)鍵基礎(chǔ)設(shè)施與國(guó)防等行業(yè)。理論上,SeL4 可以用作 Linux 和其它類 Unix 操作系統(tǒng)的底層基礎(chǔ),甚至此前曾被考慮用于 GNU/Linux “真內(nèi)核” GNU Hurd。
特別提醒:本網(wǎng)內(nèi)容轉(zhuǎn)載自其他媒體,目的在于傳遞更多信息,并不代表本網(wǎng)贊同其觀點(diǎn)。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實(shí),對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本站不作任何保證或承諾,并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。本站不承擔(dān)此類作品侵權(quán)行為的直接責(zé)任及連帶責(zé)任。如若本網(wǎng)有任何內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系我們,本站將會(huì)在24小時(shí)內(nèi)處理完畢。
相關(guān)推薦
- raksamart東京多ip服務(wù)器搭建注意事項(xiàng)
- raksmart香港試用的云服務(wù)器能用來(lái)干什么?
- RAKsmart站群服務(wù)器對(duì)海外貿(mào)易網(wǎng)站的核心優(yōu)勢(shì)
- RAKsmart站群服務(wù)器對(duì)海外貿(mào)易網(wǎng)站的核心優(yōu)勢(shì)
- 如何重置RAKsmart服務(wù)器root密碼
- linux服務(wù)器怎么卸載寶塔?完整清理指南與優(yōu)化建議
- raksmart香港裸機(jī)云站群服務(wù)器對(duì)網(wǎng)站優(yōu)化的幫助
- raksmart香港裸機(jī)云站群服務(wù)器對(duì)網(wǎng)站優(yōu)化的幫助
站長(zhǎng)資訊網(wǎng)