Google本周宣布发布KataOS(开发代号Sparrow)作为他们最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。KataOS从设计上就具备安全意识,专门使用Rust编程语言,并建立在seL4微内核的基础之上。
KataOS旨在用于数量不断增加的智能设备,特别强调运行机器学习应用的嵌入式硬件。鉴于业界对RISC-V的关注度越来越高,该CPU架构是KataOS的一个主要支持重点。Google的开源博客宣布。
"作为这个新操作系统的基础,我们选择了seL4作为微内核,因为它把安全放在前面和中心;它在数学上被证明是安全的,具有保证保密性、完整性和可用性。通过seL4 CAmkES框架,我们还能够提供静态定义和可分析的系统组件。KataOS提供了一个可验证的安全平台,保护了用户的隐私,因为从逻辑上讲,应用程序不可能破坏内核的硬件安全保护,而且系统组件是可验证的安全。KataOS也几乎完全由Rust实现,这为软件安全提供了一个强大的起点,因为它消除了整类错误,如逐一错误和缓冲区溢出。"
目前的GitHub版本包括大多数KataOS的核心部分,包括我们用于Rust的框架(如sel4-sys crate,它提供了seL4系统调用API),一个用Rust编写的备用根服务器(需要动态全系统内存管理),以及对seL4的内核修改,可以回收根服务器使用的内存。"
-
【金融街发布】人民银行:9月债市共发行债券5.2万亿元 沪市日均交易量环比减少24%9月,债券市场共发行各类债券52015 9亿元;银行间质押式回购月加权平均利率为1 46%,环比上升21个基点;沪市日均交易量为31...
-
环球微资讯!百亿私募连续五周加仓 仓位逼近年内最高截至10月21日,百亿股票私募仓位指数为86 87%,较此前一周上涨了5 59%,这已经是百亿股票私募连续5周加仓,并且目前的仓位...
-
前沿资讯!"基金官方买手"操作曝光!明星重仓基金遭"换血",这些产品被减持三季度,FOF的总体规模略有下滑,受权益市场波动的影响,只有债券FOF录得正收益。持仓方面,按被FOF持仓的市值来看,萧楠、王...
-
无锡银行股价跌超9% 回应称经营管理一切正常10月31日午间,无锡银行发布公告回应称:“目前,本行经营管理一切正常,财务表现良好,资产质量稳定,内部控制运行有效,不...
-
【环球财经】东京股市明显反弹 日经指数涨1.78%东京股市两大股指10月31日明显反弹。日经225种股票平均价格指数收盘上涨1 78%,东京证券交易所股票价格指数上涨1 60%。
-
【金融街发布】人民银行:9月债市共发行债券5.2万亿元 沪市日均交易量环比减少24%
2022-10-31 16:36:58
-
环球微资讯!百亿私募连续五周加仓 仓位逼近年内最高
2022-10-31 16:30:11
-
前沿资讯!"基金官方买手"操作曝光!明星重仓基金遭"换血",这些产品被减持
2022-10-31 15:42:36
-
无锡银行股价跌超9% 回应称经营管理一切正常
2022-10-31 15:24:32
-
【环球财经】东京股市明显反弹 日经指数涨1.78%
2022-10-31 15:38:10
时尚