(相關(guān)資料圖)
近日，谷歌宣布，推出為嵌入式設(shè)備準(zhǔn)備的操作系統(tǒng) KataOS。
據(jù)悉，KataOS 選擇了 seL4 作為微內(nèi)核，其經(jīng)過數(shù)學(xué)證明是安全的，具有保證的機(jī)密性、完整性和可用性。通過 seL4 CAmkES 框架，KataOS 還能夠提供靜態(tài)定義和可分析的系統(tǒng)組件。KataOS 提供了一個(gè)可驗(yàn)證的安全平臺(tái)，保護(hù)用戶的隱私，因?yàn)閼?yīng)用程序在邏輯上不可能違反內(nèi)核的硬件安全保護(hù)，并且系統(tǒng)組件是可驗(yàn)證安全的。
標(biāo)簽： KataOS-開源 嵌入式設(shè)備
