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

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

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

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

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

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

消息来源:谷歌

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

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

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

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

消息来源:Bleeping Computer

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

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

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

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

消息来源:Pine64

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

主题测试文章,只做测试使用。发布者:eason,转转请注明出处:https://aicodev.cn/2022/10/17/%e7%a1%ac%e6%a0%b8%e8%a7%82%e5%af%9f-791-%e8%b0%b7%e6%ad%8c%e5%ae%a3%e5%b8%83%e6%8e%a8%e5%87%ba-rust-%e5%bc%80%e5%8f%91%e7%9a%84-kataos-%e6%93%8d%e4%bd%9c%e7%b3%bb%e7%bb%9f/

Like (0)
eason的头像eason
Previous 2022年10月16日
Next 2022年10月17日

相关推荐

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

联系我们

400-800-8888

在线咨询: QQ交谈

邮件:admin@example.com

工作时间:周一至周五,9:30-18:30,节假日休息

关注微信