最新消息！Linux内核未来可能会引入形式验证

导读 本月19日在北京举办的 LC3 大会 (LinuxCon + ContainerCon + CloudOpen)应该是全球最顶级的开源大会了，而这一为期两天的开源盛会过去几年在北美、欧洲和日本都举办过，而此次是其首次来到中国。就在同一天，Linux 发布了 4.12-rc6 的 release，而Linux 基金会在这次大会上也独家透露了一些未来 Linux 内核开发的新特性。 本月19日在

>>阅读原文<<