rust开发哪个系统好（硬核观察791）

谷歌宣布推出 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

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

,