src/cpu/intel/common/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_INTEL_COMMON
   4         bool
   5         select RESERVED_PHYSICAL_ADDRESS_BITS_SUPPORT
   6
   7 if CPU_INTEL_COMMON
   8
   9 config ENABLE_VMX
  10         bool "Enable VMX for virtualization"
  11         default y
  12
  13 config 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
  25 config 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
  33 config CPU_INTEL_COMMON_TIMEBASE
  34         bool
  35
  36 endif
  37
  38 config CPU_INTEL_COMMON_VOLTAGE
  39         bool
  40
  41 config CPU_INTEL_COMMON_SMM
  42         bool
  43         default y if CPU_INTEL_COMMON