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

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

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

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

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

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