summaryrefslogtreecommitdiff
path: root/src/cpu/intel/common/Kconfig
blob: 4fa3affb552ab45d351bbe30c5a3715b2778b8d8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
config CPU_INTEL_COMMON
	bool

if CPU_INTEL_COMMON

config ENABLE_VMX
	bool "Enable VMX for virtualization"
	default y

config SET_IA32_FC_LOCK_BIT
	bool "Set IA32_FEATURE_CONTROL lock bit"
	default y
	help
	  Although the Intel manual says you must set the lock bit in addition
	  to the VMX bit in order for VMX to work, this isn't strictly true, so
	  we have the option to leave it unlocked and allow the OS (e.g. Linux)
	  to manage things itself. This is beneficial for testing purposes as
	  there is no need to reflash the firmware just to toggle the lock bit.
	  However, leaving the lock bit unset will break Windows' detection of
	  VMX support and built-in virtualization features like Hyper-V.

config CPU_INTEL_COMMON_TIMEBASE
	bool

config CPU_INTEL_COMMON_HYPERTHREADING
	bool

endif