Linux 基金會透露未來 Linux 內核可能會引入形式驗證

本月19日在北京舉辦的 LC3 大會 (LinuxCon + ContainerCon + CloudOpen)應該是全球最頂級的開源大會了，而這一爲期兩天的開源盛會過去幾年在北美、歐洲和日本都舉辦過，而此次是其首次來到中國。就在同一天，Linux 發佈了 4.12-rc6 的 release，而Linux 基金會在這次大會上也獨家透露了一些未來 Linux 內核開發的新特性。 Linux 基金會

>>阅读原文<<