Andy Lutomirski <[email protected]> writes: > On Mon, Apr 25, 2016 at 10:34 AM, Jarkko Sakkinen > <[email protected]> wrote: >> From: Kai Huang <[email protected]> > > Should this come with a nosgx boot option and an IA32_FEATURE_CONTROL > check to disable the feature if BIOS doesn't support it?
You can already disable every CPUID feature at boot with clearcpuid=... No point in adding redundant options for everything. -Andi -- [email protected] -- Speaking for myself only
