Open Se Cura是开发一套开源设计工具和IP库
最近 谷歌揭幕 通过一篇博客文章，启动了一个新项目，该项目名为 打开塞库拉， 目的是 简化安全芯片的创建，旨在 解决与e相关的问题l 机器学习和人工智能。
值得一提的是，Open Se Cura 的应用领域包括需要特殊级别的保护和确认不存在故障的专用芯片。 例如，该平台可用于与敏感信息处理相关的机器学习产品，例如用于识别人员和处理语音记录的系统。
Open Se Cura 项目以前在内部称为 Project Sparrow，它证明了我们对开源开发的承诺。 我们与 Open Se Cura 的目标是开发一套开源设计工具和 IP 库，通过协同设计和开发加速具有机器学习工作负载的完整系统的开发。 这将使我们能够更好地围绕安全性、效率和可扩展性进行系统设计，为下一代人工智能体验提供动力。
关于开放塞库拉酒店
打开塞库拉 其引擎盖下有 CantripOS 操作系统， 而在硬件方面，则是 基于OpenTitan平台 以及基于该架构的处理器核心 RISC-V。
CantripOS操作系统 它基于seL4微内核， 运行系统环境 用 Rust 语言编写。 在RISC-V系统中，为seL4微内核提供了可靠性的数学证明，表明代码完全满足形式语言中指定的规范。 seL4 架构的突出之处在于将管理内核资源的部分移至用户空间，并对这些资源应用与用户资源相同的访问控制工具。
微内核不提供抽象 开箱即用的高级管理文件、进程、网络连接等； 相反，它只提供最少的机制 控制对物理地址空间、中断和处理器资源的访问。
高级抽象和控制器 与硬件交互 分别实施 以用户级任务的形式位于微内核之上。 这些任务对微内核可用资源的访问是通过定义规则来组织的。
除微内核外，操作系统的所有组件最初都是使用 Rust 编写的，使用安全编程技术来最大限度地减少使用内存时的错误。 除此之外，seL4 环境中的应用程序加载器、系统服务、应用程序开发框架、用于访问系统调用的 API、进程管理器和动态内存分配机制都是用 Rust 编写的。
使用 CAmkES 验证构建， 它是由 seL4 项目开发的。 为了开发可以由系统服务动态加载的终端应用程序，建议使用AmbiML SDK和IREE（中间表示执行环境）工具包来运行机器学习模型。 Rust 系统组件和服务是使用 Cantrip 框架开发的。
最后值得一提的是，在项目的开发过程中 不仅谷歌参与其中， 因为 也参与其中 在工具和基础设施元素的开发中，非营利组织 低RISC， 监督基于 RISC-V 架构的免费微处理器的开发， 以及 Antmicro 和 VeriSilicon 公司。
以lowRISC开发的处理器为核心构建可信硬件组件（Root of Trust）。 Antmicro 为该项目提供了 Renode 模拟器，允许在没有实际硬件的情况下测试 CantripOS 和 seL4 微内核。 芯原分享了其在芯片打造和BSP（Board Support Package）开发领域的经验。
如果你是 有兴趣了解更多，你应该知道，项目开发，包括系统服务和RTL方案的源代码， 它们根据 Apache 2.0 许可证分发。
数据来源： https://opensource.googleblog.com