谷歌推出KataOS開源操作系統：使用Rust構建，用于嵌入式設備

感謝IT家庭用戶在華南吳彥祖的線索傳遞！

，谷歌宣布推出KataOS操作系統，目標是為嵌入式設備提供安全系統。

谷歌表示，伴隨著我們發現自己被越來越多的智能設備包圍，這些設備從環境中收集和處理信息，我們需要一個簡單的解決方案來為嵌入式硬件建立一個可驗證的安全系統如果我們身邊的設備不能通過數學證明來保護數據安全，那么它們收集的個人身份數據，比如人的圖像，錄音等，就有可能被惡意軟件訪問，于是推出了KataOS

根據介紹，KataOS選擇seL4作為微內核，通過數學證明是安全的，并且已經保證了機密性，完整性和可用性有了sel4campkes框架，KataOS還可以提供靜態定義和可分析的系統組件

KataOS提供了一個可驗證的安全平臺來保護用戶的隱私，因為一個應用在邏輯上是不可能違反內核的硬件安全保護的，系統組件是可驗證的，安全的。

此外，KataOS幾乎完全是在Rust中實現的，它消除了所有類型的錯誤，比如一個錯誤和緩沖區溢出。

本站了解到，Google KataOS的早期版本已經在GitHub開源，包括KataOS的大部分核心組件:

生銹的框架

用Rust編寫的備用根服務器

Sel4內核修改可以回收rootserver使用的內存

Google還與Antmicro合作，通過Renode作為目標硬件實現GDB調試和仿真在內部，KataOS還可以動態加載和運行在CAmkES框架之外構建的第三方應用程序目前，Github上的代碼不包含運行這些應用程序所需的組件，谷歌希望在不久的將來發布這些功能

為了充分證明安全環境系統，Google還為KataOS構建了一個名為Sparrow的參考實現，將KataOS與安全硬件平臺相結合所以除了邏輯上安全的操作系統內核，Sparrow還包含了一個邏輯上安全的信任根，是在RISC—V架構上用OpenTitan構建的可是，對于KataOS的初始版本，Google的目標是使用QEMU模擬運行更標準的64位ARM平臺