打开网易新闻 查看更多图片

谷歌是少数几家愿意尝试新操作系统的科技公司之一。它已经为嵌入式机器学习设备推出了KataOS。

KataOS和Sparrow一起发表在谷歌的开源博客上。KataOS是操作系统设计,Sparrow是参考实现,因为Weston display server是Wayland的参考实现。

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

根据GitHub上的介绍,新的操作系统“几乎完全是用Rust编写的”。这还不包括底层的微内核,即seL4。Reg FOSS desktop在2月份报告实验性的Neptune操作系统时提到了这一点。因为seL4主要是用C实现的,所以本项目使用CAmkES(基于微内核的嵌入式系统组件架构,使用Haskell和Python)作为抽象层,将C层和Rust层连接在一起。

早在20世纪80年代,微核就被视为下一件大事。虽然受主流影响不多,但也不少。Linux评论家Andy Tanenbaum博士的Minix 3是一款成功的FOSS微内核,用于百万Intel CPU的系统管理控制器。QNX是黑莓10的基础,也是黑莓的盈利点。是最畅销的商业微核。

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

增强型Enhanced L4),简称seL4,是更大的L4家族中的一员,是由已故的Jochen Liedtke[PDF]为了应对Mach而专门设计的,用来提高微内核的性能。