1. seL4
    2. (共 1篇資訊)

    開源資訊投稿，獲得更多曝光機會！

    投稿

    seL4微內核開源

    General Dynamics C4 Systems 和 NICTA 宣布開源 Secure Embedded L4（seL4）微內核，源代碼托管在 GitHub 上，采用的是 GPLv2 許可證
    jopen 10年前    7049   
    seL4  

    熱門問答

    熱門文檔

    • sesese色