查看原文
其他

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

邀你一起加入 Linux中国 2023-01-01
 
导读:• 谷歌宣布推出 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 协议规定转载,如需转载,请在文章下留言 “转载:公众号名称”,我们将为您添加白名单,授权“转载文章时可以修改”。

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存