谷歌推出 KataOS 开源操作系统：使用 Rust 构建，用于嵌入式设备

内容导航：

谷歌推出 KataOS 开源操作系统：使用 Rust 构建，用于嵌入式设备

谷歌发布了KataOS操作系统，该怎么评价这个系统呢？

谷歌发布KataOS操作系统，你如何评价此系统？

谷歌操作系统之心不死，发布KataOS操作系统，该系统都有哪些亮点？

一、谷歌推出 KataOS 开源操作系统：使用 Rust 构建，用于嵌入式设备

IT之家 10 月 16 日消息，谷歌宣布推出 KataOS 操作系统，目标是为嵌入式设备提供安全系统。

谷歌表示，随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围，需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备无法通过数学证明能够保护数据安全，那么他们收集的个人身份数据，例如人物图像和声音录音，可能会被恶意软件访问，因此推出了 KataOS。

据介绍，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。

KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

此外，KataOS 几乎完全在 Rust 中实现，该语言消除了所有类型的错误，例如 off-by-one 错误和缓冲区溢出。

IT之家了解到，谷歌 KataOS 的早期版本已在 GitHub 开源，包括大多数 KataOS 核心部件：

用于 Rust 的框架（例如 sel4 syscall，它提供 sel4 系统调用 API）

用 Rust 编写的备用 rootserver（动态系统范围内存管理所需）

可以回收 rootserver 所用内存的 sel4 内核修改

谷歌还与 Antmicro 合作，通过 Renode 为目标硬件实现 GDB 调试和模拟。在内部，KataOS 还能够动态加载和运行在 CAmkES 框架之外构建的第三方应用。目前，Github 上的代码不包含运行这些应用所需的组件，谷歌希望在不久的将来发布这些特性。

为了全面证明安全环境系统，谷歌还为 KataOS 构建了一个名为 Sparrow 的参考实现，它将 KataOS 与安全硬件平台结合起来。因此，除了逻辑安全的操作系统内核之外，Sparrow 还包括一个逻辑安全的信任根，该信任根是在 RISC-V 架构上用 OpenTitan 构建的。然而，对于 KataOS 的初始版本，谷歌的目标是使用 QEMU 模拟运行更标准的 64 位 ARM 平台。

一、谷歌发布了KataOS操作系统，该怎么评价这个系统呢？

谷歌发布了KataOS操作系统，我认为这款系统还是非常智能、高端的，提升用户的使用感受，同时还可以满足不同场景的办公需求。

谷歌发布KataOS操作系统，满足用户不同的防护需求

谷歌发布了全新的KataOS操作系统，吸引了很多消费者的目光。据了解该系统的最大特色就是采用了嵌入式的设计，能够为用户提供更加完善的防护措施，满足用户日常生活或是办公的需求。KataOS操作系统的安全性更强。现如今人们的网络安全意识越来越重，使用KataOS操作系统，可以避免人物图像或是音频泄密，进一步加强网络操控安全。

KataOS操作系统的最初设计理念就是用以加强大众的安全意识。这款操作系统专门采用了高端的RUST编程语言，不仅如此，它还建立在SEL4微内核的基础之上，性能出众，令人可以放心的使用。

KataOS操作系统更智能，以SEL4为重要微内核

KataOS的创造用途在于那些不断增加的智能化电子设备，在制作过程中特别强调了电子设备学习应用的嵌入式硬件，CPU架构属于KataOS操作系统的重要支持点，作为全新的操作系统，技术人员采用了SEL4作为主要的微内核，因为它能够将安全放在首位，它在多种数学实验中被证实是安全可靠的，具有强大的保密性、可用性以及完整性。

总体来说，KataOS属于一个可靠、安全的操作系统，能够为用户提供更加智能化、丰富的运行平台，从基本逻辑上来看，该程序几乎无法遭到入侵与破坏，安全性很强，值得体验。

二、谷歌发布KataOS操作系统，你如何评价此系统？

新型操作系统，真的能保护用户信息安全？

近日谷歌发布了新型操作系统：KataOS。谷歌公司表示：随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围，需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备无法通过数学证明能够保护数据安全，那么他们收集的个人身份数据，例如人物图像和声音录音，可能会被恶意软件访问，因此推出了 KataOS。

从谷歌公司的这份声明可以得知，kataos系统主要针对的是当今信息爆炸的互联网环境下，如何保障个人身份数据的安全，不会被恶意软件或渠道窃取。

操作系统有哪些？大多数人只知道微软的Windows系统和Apple公司的mac系统，然而除了这两个还有Linux系统（专门针对企业，不针对个人用户）、Chrome系统和Unix系统。

主流的就这五个，其中Chrome也是谷歌公司开发的，不过现在这四个操作系统都存在一个问题，这些操作系统在数学上不是一个可验证性的安全平台，他们对用户的隐私防护做的不够好，实用性是这些操作系统的首位。

但是kataos操作系统，其微内核采用了seL4 架构，并且其语言环境百分之九十九点九在rust中实现，很好的消除了其他操作系统经常遇到的语言类型错误，比如one-off-buy的缓冲区溢出这类问题。

这有什么用？简单的说，基于这个框架，kataos操作系统能够通过机器学习和静态分析为个人隐私筑起一道防火墙，该操作系统是将用户的信息安全放在使用体验的首位的：

KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

现阶段kataos操作系统还处在测试阶段，相信不久后将与我们见面，如果真能全方位保护用户的隐私安全，那么该操作系统无疑将掀起一场关于信息保护的革命。

三、谷歌操作系统之心不死，发布KataOS操作系统，该系统都有哪些亮点？

从内部发展的逻辑来看，第一代操作系统是计算机操作系统，如Windows、Mac操作系统、Linux等。第二代操作系统是移动操作系统，如苹果LOS、谷歌安卓等。华为Hongment；第三代操作系统都是基于网络的操作系统，现在只有华为的洪明系统在实践中，谷歌Fuchsia无法实现，因为洪明系统在终端可以拥有超过128KB的小内存终端应用程序！

华为手机应用程序中的洪明系统，到目前为止，已经成功站稳脚跟，只有洪明2.0在苹果洛杉矶有运行经验，谷歌安卓也不一样，在互连设备方面，洪明系统要好得多从单个芯片到Niubi，洪明系统可能与华为过去几年推出的许多旧手机形成鲜明对比，以至于许多旧手机消费者还活着。这是苹果洛杉矶，谷歌机器人根本做不到！

在被谷歌禁止后，华为被迫提前推出手机系统洪明，并投入了大量人力和财力来了解洪明的生态系统建设，两艘船只主要取代谷歌谷歌，但也制定了标准谷歌地图、搜索等面向海外市场的应用程序，洪明移动生态系统正变得越来越成熟！除了红门移动系统外，华为红门智能家居、智能办公等应用领域的系统也相对成熟，在智能汽车领域，华为自动化系统是动摇的人之一，华为红门1+8+n战略体系已经形成了基础！

洪明3.0能完全取代机器人吗？在我看来，随着时间的推移，洪明系统可以与安卓系统相提并论，在未来几天内，还可以与苹果公司、安卓分裂世界进行比较。