seL4微内核开源

General Dynamics C4 Systems 和 NICTA 宣布开源 Secure Embedded L4（seL4）微内核，源代码托管在 GitHub 上，采用的是 GPLv2 许可证。seL4 是世界上第一个形式证明安全增强的通用操作系统内核，开发者宣称它是第一种没有漏洞的软件，能防止系统崩溃或恶意攻击。