谷歌推出 KataOS 開源操作系統

訪問原網址

品玩10月17日訊,據 IT 之家報道,谷歌宣布,推出為嵌入式設備準備的操作系統 KataOS。

據悉,KataOS 選擇了 seL4 作為微內核,其經過數學證明是安全的,具有保證的機密性、完整性和可用性。通過 seL4 CAmkES 框架,KataOS 還能夠提供靜態定義和可分析的系統組件。KataOS 提供了一個可驗證的安全平台,保護用戶的隱私,因為應用程序在邏輯上不可能違反內核的硬件安全保護,並且系統組件是可驗證安全的。

媒體報道

      CNBeta  IT 之家  搜狐  品玩

相關事件

  • 谷歌推出 KataOS 開源操作系統  2022-10-16
  • 微軟研究院開源編程語言 Verona,借鑒 Rust、Cyclone 等特性  2020-01-21
(0)
上一篇 2022-10-17 10:28
下一篇 2022-10-17 10:28

相关推荐