据外媒报道，Linux Kernel 4.17 最近获得了一批 x86/pti 更新，其中包含针对 Meltdown 和 Spectre CPU漏洞的最新缓解改进。这个最新的 pull request 包含几个修复，其中包括可能的死锁修复，也有一些关于 Spectre Variant One 的访问限制。
与最近针对 Linux 声音驱动程序的 Specter V1 修复程序类似，这些内核代码最新的索引修复程序通过 Smatch 发现。
设计用于分析 Linux 内核代码的 Smatch 静态分析工具最近选择了支持发现可能存在的潜在的 Specter 漏洞以及绕过边界检查。有兴趣的者可以在这里找到最新的 Smatch 代码。
Linux 4.17 内核的更新/修复列表可以通过这个 pull request 请求找到。