On Wed, 2008-04-23 at 15:38 -0700, H. Peter Anvin wrote:
Yeah, I'd prefer just to kill them off if we think we can get away with
it. These are hardware-defined flags, not Linux-specific, so userspace
should probably get them from elsewhere anyway.
--
dwmw2
--