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

3AAA

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


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

消息来源：谷歌

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

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


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

消息来源：Bleeping Computer

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

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


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

消息来源：Pine64

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