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.
