訪問原網址
品玩10月17日訊,據 IT 之家報道,谷歌宣布,推出為嵌入式設備準備的操作系統 KataOS。
據悉,KataOS 選擇了 seL4 作為微內核,其經過數學證明是安全的,具有保證的機密性、完整性和可用性。通過 seL4 CAmkES 框架,KataOS 還能夠提供靜態定義和可分析的系統組件。KataOS 提供了一個可驗證的安全平台,保護用戶的隱私,因為應用程序在邏輯上不可能違反內核的硬件安全保護,並且系統組件是可驗證安全的。
媒體報道
- CNBeta IT 之家 搜狐 品玩
相關事件
- 谷歌推出 KataOS 開源操作系統 2022-10-16
- 微軟研究院開源編程語言 Verona,借鑒 Rust、Cyclone 等特性 2020-01-21