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

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

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

新的基金会旨在加速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/。

点击【阅读原文】阅读英文原文。

联系关于Linux基金会

---

Linux基金会是非营利性组织，是技术生态系统的重要组成部分。 

Linux基金会通过提供财务和智力资源、基础设施、服务、活动以及培训来支持创建永续开源生态系统。在共享技术的创建中，Linux基金会及其项目通过共同努力形成了非凡成功的投资。请长按以下二维码进行关注。