健康资讯 #谷歌##嵌入式##操作系统#
谷歌是极少数愿意尝试新操作系统的科技公司之一，它推出了用于嵌入式机器学习设备的 KataOS。
KataOS与 Sparrow 一起在 Google 开源博客上发布。KataOS 是操作系统设计，Sparrow 是参考实现，因为Weston 显示服务器是 Wayland 的参考实现。
该计划是 KataOS 将成为“一个可证明的安全平台，针对运行 ML 应用程序的嵌入式设备进行了优化。” Google 正在与 Antmicro 合作，后者创建了seL4-sys crate。目前该操作系统正在 Arm64 指令集上开发，但计划是在使用 RISC-V的openTitan上运行它。
根据GitHub 上的介绍，新操作系统“几乎完全用 Rust 编写” 。这不包括底层微内核，即seL4，这是Reg FOSS 服务台在 2 月份报道实验性 Neptune OS 时提到的。
由于 seL4 主要在 C 中实现，该项目使用CAmkES——基于微内核的嵌入式系统的组件架构，它使用 Haskell 和 Python——作为抽象层将 C 和 Rust 层连接在一起。
特朗普5日签署行政命令，禁止美国人使用包括支付宝在内的八款中国应用软件。特朗普看来真的是要与中国拼到底了。在他下台前的十几天，还会做什么？
President Donald Trump signed an order banning U.S. transactions with eight Chinese software apps including Ant Group Co.'s Alipay in 45 days, when he'll no longer be in office.
