首页 > 业界 > 关键词  > KataOS最新资讯  > 正文

谷歌宣布推出 KataOS 开源操作系统 采用 Rust 和 seL4 微内核

2022-10-17 10:06 · 稿源:站长之家

站长之家(ChinaZ.com) 10月17日消息:谷歌宣布推出安全操作系统 KataOS,作为其最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。

谷歌,google

据悉,KataOS 选择了 seL4作为微内核,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。通过 seL4CAmkES 框架,KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。

为了证明安全环境系统的整体性,谷歌还在为KataOS建立一个名为Sparrow的参考实现,它将KataOS与一个安全的硬件平台相结合。因此,除了逻辑安全的操作系统内核外,Sparrow还包括一个在RISC-V架构上用OpenTitan构建的逻辑安全的信任根。然而,对于 KataOS 的初始版本,谷歌的目标是使用 QEMU 模拟运行更标准的64位 ARM 平台。

举报

  • 相关推荐
  • 中国操作系统银河麒麟V11正式发布

    8月26日,麒麟软件在2025中国操作系统产业大会上正式发布银河麒麟操作系统V11。该系统基于6.6内核构建,是国内首个商业版6.6内核操作系统,标志着我国操作系统产业进入高稳定、强安全的核心能力建设新阶段。V11在技术架构、AI融合、安全性及生态兼容方面实现重大突破,支持国内外主流芯片,已适配超700万软硬件产品。该系统已成功应用于天问探火、空间站等国家重大工程,累计实现超10万小时零故障运行,服务用户超7万家,连续十四年保持中国Linux市场占有率第一。

  • 国内领先!移动云大云天元操作系统通过安全操作系统四级认证

    移动云自主研发的大云天元操作系统近日通过公安部网络安全专用产品安全检测,获得安全操作系统第四级认证。该系统凭借扎实的产品安全能力和完善的安全管理体系,成为国内首个通过该级别认证的国产操作系统。这一成果体现了其在安全领域的技术积累与行业地位,为保障客户数据安全和业务稳定运行提供可靠支撑,标志着国产操作系统安全能力达到国内领先水平。

  • 九号公司发布自研凌波OS:行业首个自研全域操作系统

    九号公司8月26日发布国内首款专为两轮短途出行打造的凌波OS(NimbleOS)操作系统。该系统通过统一底层架构,深度融合电机控制、电池管理、多传感器感知等核心模块,实现高效协同运行,显著提升骑行体验。支持整车OTA升级,让电动车从代步工具进化为可成长的“智能伙伴”。凌波OS的推出标志着两轮出行行业正式迈入以操作系统为核心的智能生态新阶段,展现了九号在智能交通领域深耕十年的技术积累。

  • 九号公司凌波OS亮相!两轮行业迎来首个自研操作系统

    2025年8月26日,九号公司发布国内首个专为两轮短途出行打造的凌波OS(NimbleOS)操作系统。该系统通过统一底层架构,深度融合电机控制、电池管理、多传感器感知等核心模块,实现高效协同运行。支持整车OTA升级,显著提升骑行体验与安全性,标志着两轮出行行业正式迈入以操作系统为核心的智能生态新阶段。

  • 8月26日北京见!银河麒麟操作系统V11重磅亮相,开启中国操作系统新时代

    8月26日,中国操作系统产业大会将在北京举行,发布银河麒麟操作系统V11。该系统以安全、智能、流畅、开放为核心优势,构建三层纵深防御体系,支持政务、金融、能源等关键领域数字化转型。通过云边端智能调度和语音交互技术,提升人机协作效率。作为国家重大工程数字底座,V11兼容前代生态,为开发者和用户提供更友好环境。现场将展示国产芯片与整机解决方案,诚邀各界见证中国操作系统新旗舰的启航。

  • 工业软件“大脑”植入国产操作系统:制造业数字化转型的麒麟方案

    全球工业软件巨头达索系统与国产操作系统银河麒麟完成深度技术适配,达索核心平台3DEXPERIENCE(3DX)在银河麒麟系统上实现稳定运行。这标志着国产操作系统在高端工业软件生态建设取得重大突破,为中国制造业数字化转型提供新动能。3DX平台作为覆盖产品全生命周期的工业软件,其与国产系统的兼容性验证通过,意味着中国企业可摆脱对国外操作系统的依赖,无缝运行国际主流工业软件。此次合作既验证了银河麒麟系统在高端工业场景的可靠性,也为国产基础软件与国际顶尖工业软件的融合树立标杆,将助力构建安全创新的数字化环境。

  • 芯和EDA平台成功适配国产操作系统,打通国产芯片设计全链条

    芯和半导体与麒麟软件宣布完成产品兼容性互认证。芯和半导体多款EDA产品在银河麒麟高级服务器操作系统V10+上实现高效稳定运行,覆盖芯片到系统的全流程设计需求。此次认证涉及芯和五大EDA平台,包括2.5D/3D封装仿真平台Metis、板级多场协同仿真平台Notus、高速系统验证平台ChannelExpert、三维全波电磁仿真平台Hermes3D和射频EDA设计平台XDS。这是国产工业软件协同创新的重要实�

  • 带猫环游世界的@不撸猫HaiTang 如何吸引1亿点赞?

    当打工人还在幻想诗和远方,@不撸猫HaiTang 已经带着他的两只狸花猫开始环游世界了! 视频里,这只名为海棠的狸花猫,在菲律宾的划艇上悠闲地打量着海洋;另一段视频中,它又出现在日本北海道的雪景里,好奇地从主人的背包里探出小脑袋。

  • 小米澎湃OS 3今日发布 首批29日启动Beta测试推送

    今日15:00,小米集团将正式发布新一代手机操作系统小米澎湃OS3,同步在小米社区开启Beta版招募通道。据官方披露,为保障系统稳定性与用户体验,本次测试将采取分批次推送策略,首批八款适配机型用户将于8月29日起陆续收到更新,第二批用户预计在首批推送后10天内完成升级。 此次纳入Beta测试的机型覆盖小米与REDMI双品牌旗舰,包括小米15系列四款机型(小米15、小米15Pro�

  • 一款专为日常需求设计的超值平板:三星Galaxy Tab S10 Lite正式发布

    三星电子于2025年8月25日发布Galaxy Tab S10 Lite平板电脑,配备10.9英寸大屏、S Pen手写笔及多项智能功能,支持高效学习、创作与娱乐。搭载升级处理器、8000mAh电池和快充技术,确保长续航。提供星空灰、星川银、星语红三款配色,9月5日起陆续上市。

今日大家都在搜的词: