On 5/6/20 3:21 PM, Dave Hansen wrote: > I'm really just wondering what the point of the churn is.
The config option is also in the manpages, fwiw:
http://man7.org/linux/man-pages/man7/pkeys.7.html
By the way, I am regretting ever sticking "INTEL_" in there. Seems like
a good best practice would be to leave those things out in the future if
there's any credible opportunity for another vendor to add support.
