Comment 5 for bug 1755624

Steve Beattie (sbeattie) wrote :

4.15.0-12.13-generic from bionic-proposed is also working for me. Relevant CPU model info (same as in description):

cpu family : 6
model : 142
model name : Intel(R) Core(TM) i7-7500U CPU @ 2.70GHz
stepping : 9
microcode : 0x84

Model 142 corresponds to 0x8E in hex, which the kernel defines as:


After booting into the 4.15.0-12.13-generic kernel, /proc/cpuinfo now contains "ibpb ibrs stibp" as well.