谷歌揭示了另一个实验性操作系统:KataOS

谷歌揭示了另一个实验性操作系统:KataOS 2022-10-19 11:40:06 2053

谷歌是为数不多的愿意试验新操作系统的科技公司之一,它推出了用于嵌入式机器学习设备的KataOS。

易百纳社区

KataOS和Sparrow是在谷歌开源博客上发布的。KataOS是操作系统设计,Sparrow是参考实现,正如Weston显示服务器是Wayland的参考实现一样。

计划是KataOS将成为“一个可证明安全的平台,为运行ML应用程序的嵌入式设备进行了优化”。谷歌正在与创建seL4-sys板条箱的Antmicro合作。目前,该操作系统正在Arm64指令集上开发,但计划是在使用RISC-V的openTitan上运行它。

根据GitHub 上的介绍,新操作系统“几乎完全用 Rust 编写” 。这不包括底层微内核,即seL4,这是Reg FOSS 部门在 2 月份报道实验性 Neptune OS 时提到的。

由于seL4主要用C语言实现,该项目使用CAmkES -基于微内核的嵌入式系统的组件架构,它使用Haskell和Python -作为抽象层将C和Rust层连接在一起。

早在20世纪80年代,微核就被视为下一个大趋势。由OG Linux评论家Andy Tanenbaum博士开发的Minix 3是一个成功的自由/开源软件微内核,用于数百万Intel cpu的系统管理控制器。

你最有可能见过或使用过的无疑是苹果的macOS(以前是Mac OS X,之前是NeXTstep),它基于开源的XNU内核。它基于卡内基梅隆大学的Mach(第一代微内核之一),但XNU有一个基于FreeBSD代码的大型内核内“Unix服务器”,因此从技术上说,它是一个混合内核,而不是一个纯微内核。

安全增强的L4,或简称seL4,是由已故的Jochen Liedtke专门设计的,以响应Mach,目标是提高微内核的性能。它已经存在很长一段时间了——The Reg在10年前就报道过它。

但另一方面,对于像这样一个非常小众的系统来说,成功的基准比一个更通用的操作系统要低。在之前的谷歌操作系统中,最著名的是Fuchsia,该公司最终发布了该操作系统。

声明:本文内容由易百纳平台入驻作者撰写,文章观点仅代表作者本人,不代表易百纳立场。如有内容侵权或者其他问题,请联系本站进行删除。

声明:本文内容由易百纳平台入驻作者撰写,文章观点仅代表作者本人,不代表易百纳立场。如有内容侵权或者其他问题,请联系本站进行删除。
红包 点赞 收藏 评论 打赏
评论
0个
内容存在敏感词
手气红包
    易百纳技术社区暂无数据
相关专栏
关于作者
艾

暂无个性签名~

原创300
阅读34.5w
收藏30
点赞32
评论3
打赏用户 0
我要创作
分享技术经验,可获取创作收益
分类专栏
置顶时间设置
结束时间
删除原因
  • 广告/SPAM
  • 恶意灌水
  • 违规内容
  • 文不对题
  • 重复发帖
打赏作者
易百纳技术社区
您的支持将鼓励我继续创作!
打赏金额:
¥1易百纳技术社区
¥5易百纳技术社区
¥10易百纳技术社区
¥50易百纳技术社区
¥100易百纳技术社区
支付方式:
微信支付
支付宝支付
易百纳技术社区微信支付
易百纳技术社区
打赏成功!

感谢您的打赏,如若您也想被打赏,可前往 发表专栏 哦~

举报反馈

举报类型

  • 内容涉黄/赌/毒
  • 内容侵权/抄袭
  • 政治相关
  • 涉嫌广告
  • 侮辱谩骂
  • 其他

详细说明

审核成功

发布时间设置
发布时间:
是否关联周任务-专栏模块

审核失败

失败原因
备注
拼手气红包 红包规则
祝福语
恭喜发财,大吉大利!
红包金额
红包最小金额不能低于5元
红包数量
红包数量范围10~50个
余额支付
当前余额:
可前往问答、专栏板块获取收益 去获取
取 消 确 定

小包子的红包

恭喜发财,大吉大利

已领取20/40,共1.6元 红包规则

    易百纳技术社区