为安全而优化的 seL4 微内核获得了 Linux 基金会的支持

seL4 基金会旨在加速任何软件系统的安全性和可靠性。

旧金山，2020 年 4 月 7 日 —— Linux 基金会，一个通过开源实现大规模创新的非盈利组织，今天宣布它将托管 seL4 基金会，一个由澳大利亚国家科学机构 CSIRO 的数字专家部门 Data61 建立的非盈利组织。seL4 微内核是世界上第一个被证明是安全的操作系统内核；它的设计是为了确保现实世界的关键计算机系统的安全性和可靠性。

新的基金会旨在加速 seL4 和相关技术的发展，Linux 基金会将提供一个全球性的、独立的和中立的组织来资助和指导 seL4 的未来发展。创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 和 UNSW Sydney。

嵌入式计算系统的可靠性对于提高世界各地关键系统的安全性以保护它们免受网络威胁至关重要。这一点在航空电子、自动驾驶汽车、医疗设备、关键基础设施和国防等行业尤为重要。seL4 微内核是世界上第一个验证了实现正确性的操作系统，它将保证、通用性和性能完美地结合在一起，是构建安全关键系统的理想基础。seL4 基金会为开发人员提供了一个论坛来协作开发和集成 seL4 生态系统。

“Linux 基金会将通过提供专业知识和服务来支持 seL4 基金会和社区，以增加社区参与、贡献者和采纳者，帮助将操作系统的生态系统提升到一个新的水平。”Linux 基金会战略项目副总裁 Michael Dolan 说：“开放管理和基于标准的模型将提供一个中立、成熟和值得信赖的框架，以帮助推进一个易于部署和安全优化的操作系统。”

CSIRO 的 Data61 的负责人 June Andronick 博士说：“我们非常期待为 seL4 提供一个可持续的、长期的发展轨迹，也非常希望看到 seL4 基金会在 Linux 基金会的伞下发展壮大。”

“在 Linux 基金会的帮助下，我们可以扩大 seL4 的贡献者和采用者的社区，”新基金会主席、新南威尔士大学科学家 Gernot Heiser 教授说。“这将提供支持，让我们继续研究，确保 seL4 将保持最先进和安全的操作系统技术。”

有关 seL4 基金会的更多信息，请访问 https://sel4.systems/Foundation/ 。