On 2018-01-12 21:09 GMT, Vincent Lefevre wrote: > On 2018-01-12 10:00:03 -0500, bw wrote: > > On Fri, 12 Jan 2018, Vincent Lefevre wrote: > > > # dmesg | grep -i isolation > > > > You should get either > > > > [ 0.000000] Kernel/User page tables isolation: enabled > > or > > [ 0.000000] Kernel/User page tables isolation: disabled > > I get neither.
> There seems to be something really wrong. I'll report a bug. It might have aged out of the buffer that dmesg reports on. I don't see it in my dmesg either but in /var/log/kern.log.1 there is Kernel/User page tables isolation: enabled Try a grep in /var/log ? -- Nick
