学步园

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

From: http://www.solidot.org/story?sid=40536

相关网站：http://sel4.systems/

代码托管：https://github.com/seL4/seL4