谷歌揭示了另一个实验性操作系统:KataOS
谷歌是为数不多的愿意试验新操作系统的科技公司之一,它推出了用于嵌入式机器学习设备的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,该公司最终发布了该操作系统。
声明:本文内容由易百纳平台入驻作者撰写,文章观点仅代表作者本人,不代表易百纳立场。如有内容侵权或者其他问题,请联系本站进行删除。
- 分享
- 举报
-
浏览量:1552次2019-06-04 09:25:24
-
浏览量:1883次2020-02-05 15:09:20
-
浏览量:4154次2021-07-09 13:47:54
-
浏览量:1540次2019-12-16 15:07:45
-
浏览量:1921次2023-11-21 11:03:58
-
浏览量:2223次2022-03-22 09:00:12
-
浏览量:2053次2020-08-20 18:02:29
-
浏览量:2945次2019-06-27 17:17:50
-
浏览量:1798次2020-02-12 10:33:39
-
浏览量:4837次2019-12-26 18:08:07
-
浏览量:598次2023-07-26 09:40:01
-
浏览量:6487次2022-05-30 15:26:15
-
浏览量:845次2023-11-22 18:08:25
-
浏览量:2540次2022-08-05 10:18:14
-
浏览量:2249次2019-12-16 15:29:01
-
2023-12-06 11:28:37
-
浏览量:1426次2022-12-15 10:15:36
-
浏览量:2360次2020-01-14 10:34:58
-
浏览量:2032次2020-08-14 18:15:32
-
广告/SPAM
-
恶意灌水
-
违规内容
-
文不对题
-
重复发帖
艾
感谢您的打赏,如若您也想被打赏,可前往 发表专栏 哦~
举报类型
- 内容涉黄/赌/毒
- 内容侵权/抄袭
- 政治相关
- 涉嫌广告
- 侮辱谩骂
- 其他
详细说明