On 03/30/2018 10:39 PM, Ingo Molnar wrote: > There were a couple of valid review comments which need to be addressed as well, > but other than that it all looks good to me and I plan to apply the next > iteration. Testing on that non-PCID systems showed an oddity with parts of the kernel image that are modified later in boot (when we set the kernel image read-only). We split a few of the PMD entries and the the old (early boot) values were being used for userspace. I don't think this is a big deal. The most annoying thing is that it makes it harder to quickly validate that all of the things we set to global *should* be global. I'll put some examples of how this looks in the patch when I repost.