seL4微內核開源

jopen 10年前發布 | 7K 次閱讀 seL4

General Dynamics C4 Systems 和 NICTA 宣布開源 Secure Embedded L4（seL4）微內核，源代碼托管在 GitHub 上，采用的是 GPLv2 許可證。seL4 是世界上第一個形式證明安全增強的通用操作系統內核，開發者宣稱它是第一種沒有漏洞的軟件，能防止系統崩潰或惡意攻擊。

來自: Solidot 
                    <span id="shareA4" class="fl">                            
                        </span>
 本文由用戶 jopen 自行上傳分享，僅供網友學習交流。所有權歸原作者，若您的權利被侵害，請聯系管理員。
 轉載本站原創文章，請注明出處，并保留原始鏈接、圖片水印。
 本站是一個以用戶分享為主的開源技術平臺，歡迎各類分享！
  本文地址：http://www.baiduhome.net/news/view/cb33a7