php开源系统谷歌推出开源操作系统用于专注运行环境、侧重于机器学习工作开源php网店系统
2022-11-10
日前，谷歌宣布推出面向嵌入式设备的开源操作系统，专注于操作环境，专注于机器学习工作负载。谷歌表示，“随着我们发现自己被越来越多从环境中收集和处理信息的智能设备所包围，需要一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备不能在数学上事实证明，为了保证数据安全，他们收集的个人身份数据，例如人物图像和录音，可能会被恶意软件访问，因此我们推出了它。”
据悉，出于安全第一的目的，使用 seL4 作为微内核，经过数学证明是安全的，保证了机密性、完整性和可用性。同时网站建设，通过seL4框架，还可以提供静态定义和可分析的系统组件。此外，使用 Rust 语言进行开发，谷歌表示，“这为其安全性提供了一个强有力的起点，因为它 (Rust) 消除了诸如 off-by-one 和缓冲区溢出等错误”。
谷歌表示这是一个正在进行的项目，还有很多工作要做，而且它已经开源了大部分核心代码，包括 Rust 的框架（例如 sel4，它提供了 sel4 系统调用 API），用 Rust 编写（动态系统范围内存管理需要）php开源系统，可以回收已用内存的 sel4 内核修改等。
据谷歌称，它还可以动态加载和运行框架外构建的第三方应用程序网站优化，但运行这些应用程序所需的组件尚未开源，并计划在近期发布这些功能。
另外值得一提的是，为了充分展示一个安全的环境系统，谷歌还构建了一个名为 的参考实现，它将与一个安全的硬件平台相结合。因此，除了逻辑上安全的操作系统内核外php开源系统，还包括逻辑上安全的信任根，建立在RISC-V架构之上。
【本文图片来自网络】
