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

2022-10-16 19:07


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

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