General Dynamics C4 Systems 和 NICTA 宣布开源 Secure Embedded L4（seL4）微内核，源代码托管在 GitHub 上，采用的是 GPLv2 许可证