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?

--Andy

Reply via email to