日前，谷歌宣布推出面向嵌入式設(shè)備的開源操作系統(tǒng)，專注于操作環(huán)境，專注于機(jī)器學(xué)習(xí)工作負(fù)載。谷歌表示，“隨著我們發(fā)現(xiàn)自己被越來越多從環(huán)境中收集和處理信息的智能設(shè)備所包圍，需要一個(gè)簡單的解決方案來為嵌入式硬件構(gòu)建可驗(yàn)證的安全系統(tǒng)。如果我們周圍的設(shè)備不能在數(shù)學(xué)上事實(shí)證明，為了保證數(shù)據(jù)安全，他們收集的個(gè)人身份數(shù)據(jù)，例如人物圖像和錄音，可能會被惡意軟件訪問，因此我們推出了它?！?/p>

據(jù)悉，出于安全第一的目的，使用 seL4 作為微內(nèi)核，經(jīng)過數(shù)學(xué)證明是安全的，保證了機(jī)密性、完整性和可用性。同時(shí)網(wǎng)站建設(shè)，通過seL4框架，還可以提供靜態(tài)定義和可分析的系統(tǒng)組件。此外，使用 Rust 語言進(jìn)行開發(fā)，谷歌表示，“這為其安全性提供了一個(gè)強(qiáng)有力的起點(diǎn)，因?yàn)樗?(Rust) 消除了諸如 off-by-one 和緩沖區(qū)溢出等錯誤”。

谷歌表示這是一個(gè)正在進(jìn)行的項(xiàng)目，還有很多工作要做，而且它已經(jīng)開源了大部分核心代碼，包括 Rust 的框架（例如 sel4，它提供了 sel4 系統(tǒng)調(diào)用 API），用 Rust 編寫（動態(tài)系統(tǒng)范圍內(nèi)存管理需要）php開源系統(tǒng)，可以回收已用內(nèi)存的 sel4 內(nèi)核修改等。

據(jù)谷歌稱，它還可以動態(tài)加載和運(yùn)行框架外構(gòu)建的第三方應(yīng)用程序網(wǎng)站優(yōu)化，但運(yùn)行這些應(yīng)用程序所需的組件尚未開源，并計(jì)劃在近期發(fā)布這些功能。

另外值得一提的是，為了充分展示一個(gè)安全的環(huán)境系統(tǒng)，谷歌還構(gòu)建了一個(gè)名為 的參考實(shí)現(xiàn)，它將與一個(gè)安全的硬件平臺相結(jié)合。因此，除了邏輯上安全的操作系統(tǒng)內(nèi)核外php開源系統(tǒng)，還包括邏輯上安全的信任根，建立在RISC-V架構(gòu)之上。

【本文圖片來自網(wǎng)絡(luò)】