谷歌推出 KataOS 开源操作系统

xiao9469 · 发表于 2022-10-18 20:52:40

马上注册，免费下载更多dz插件网资源。

您需要登录才可以下载或查看，没有账号？立即注册

×

近日谷歌宣布推出安全操作系统 KataOS，作为其最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。

据悉，KataOS 选择了 seL4作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

©dz插件网所发布的一切资源仅限用于学习和研究目的；不得将上述内容用于商业或者非法用途，否则，一切后果请用户自负。
本站信息来自网络，版权争议与本站无关。您必须在下载后的24个小时之内，从您的电脑中彻底删除上述内容。如果您喜欢该程序，请支持正版软件，得到更好的正版服务。
如有侵权请邮件与我们联系处理:[email protected]（手机随时接收邮件）并出示相关证明以便删除。敬请谅解！

账号		自动登录	找回密码
密码			立即注册

谷歌推出 KataOS 开源操作系统

马上注册，免费下载更多dz插件网资源。

相关帖子