seL4微内核开源

General Dynamics C4 Systems 和 NICTA 宣布开源 Secure Embedded L4(seL4)微内核,源代码托管在 GitHub 上,采用的是 GPLv2 许可证
jopen 10年前    7049   
seL4  

热门问答

热门文档