硬核观察 #791 谷歌宣布推出 Rust 开发的 KataOS 操作系统

导读：• 谷歌宣布推出 Rust 开发的 KataOS 操作系统 • 谷歌搜索 emoji 相关词汇时会报错 • Pine64 宣布了一款不到 10 美元的 Linux 单板计算机

本文字数：816，阅读时长大约：1分钟

作者：硬核老王

谷歌宣布推出 Rust 开发的 KataOS 操作系统

谷歌本周宣布发布 KataOS，它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑，不但几乎完全是由 Rust 实现的，而且是建立在 seL4 微内核的基础之上，seL4 在数学上被证明是安全的，具有保证保密性、完整性和可用性。

🔗 opensource.googleblog.com

老王点评：谷歌的操作系统之心不死啊，时不时的就发布一个操作系统，然而，Linux 仍然是谷歌用的最多的操作系统。

谷歌搜索 emoji 相关词汇时会报错

有网友发现，在谷歌上搜索“how many emojis on iOS”、“how many emojis on windows” 等内容时，谷歌搜索引擎会极其罕见的报服务器错误：“处理您的请求时，似乎出现了内部服务器错误”。据分析，这是出现在结果中的一个特定网页可能导致了这个错误，很可能是 🔗 emojipedia.com 网站。谷歌已经修复了该问题。

🔗 www.bleepingcomputer.com

老王点评：这真是太罕见了，我是第一次听说谷歌会因为某个搜索结果而导致服务器内部错误。

Pine64 宣布了一款不到 10 美元的 Linux 单板计算机

这款名为 Ox64 的单板计算机有一个双核 RISC-V 处理器，64MB 的嵌入式内存，支持高达 128Mb 的闪存和一个用于额外存储的 MicroSD 卡。预计它将支持 RTOS 和 Linux，模糊了微控制器和极低功率的单板电脑之间的界限。它预计将在 11 月上市销售，RTOS 版本起价为 6 美元，Linux 兼容型号起价为 8 美元。

🔗 www.pine64.org

老王点评：这个单板机看起来不错，还挺便宜。

昨日观察

关注 Linux 中国，每日硬核点评

欢迎遵照 CC-BY-SA 协议规定转载，如需转载，请在文章下留言 “转载：公众号名称”，我们将为您添加白名单，授权“转载文章时可以修改”。