1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_COMMON 4 bool 5 select RESERVED_PHYSICAL_ADDRESS_BITS_SUPPORT 6 7if CPU_INTEL_COMMON 8 9config ENABLE_VMX 10 bool "Enable VMX for virtualization" 11 default y 12 13config SET_IA32_FC_LOCK_BIT 14 bool "Set IA32_FEATURE_CONTROL lock bit" 15 default y 16 help 17 Although the Intel manual says you must set the lock bit in addition 18 to the VMX bit in order for VMX to work, this isn't strictly true, so 19 we have the option to leave it unlocked and allow the OS (e.g. Linux) 20 to manage things itself. This is beneficial for testing purposes as 21 there is no need to reflash the firmware just to toggle the lock bit. 22 However, leaving the lock bit unset will break Windows' detection of 23 VMX support and built-in virtualization features like Hyper-V. 24 25config SET_MSR_AESNI_LOCK_BIT 26 bool "Lock the AES-NI enablement state" 27 default y 28 help 29 This config sets the AES-NI lock bit, if available, to prevent any 30 further change of AES-NI enablement. This may be disabled for e.g. 31 testing or debugging. 32 33config CPU_INTEL_COMMON_TIMEBASE 34 bool 35 36endif 37 38config CPU_INTEL_COMMON_VOLTAGE 39 bool 40 41config CPU_INTEL_COMMON_SMM 42 bool 43 default y if CPU_INTEL_COMMON 44