seL4微内核开源

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

热门问答

热门文档