(資料圖片僅供參考)
品玩10月17日訊，據(jù) IT?之家報道，谷歌宣布，推出為嵌入式設(shè)備準(zhǔn)備的操作系統(tǒng) KataOS。
據(jù)悉，KataOS 選擇了 seL4 作為微內(nèi)核，其經(jīng)過數(shù)學(xué)證明是安全的，具有保證的機密性、完整性和可用性。通過 seL4 CAmkES 框架，KataOS 還能夠提供靜態(tài)定義和可分析的系統(tǒng)組件。KataOS 提供了一個可驗證的安全平臺，保護用戶的隱私，因為應(yīng)用程序在邏輯上不可能違反內(nèi)核的硬件安全保護，并且系統(tǒng)組件是可驗證安全的。
關(guān)鍵詞： 谷歌推出 KataOS 開源操作系統(tǒng) sel4 嵌入式設(shè)備
![]("http://images.jumeinet.com/uploads/d-2023-06/docx_2795e1f5594d4e88b96780a21cefc3da_0.jpeg)
營業(yè)執(zhí)照公示信息