1 ## SPDX-License-Identifier: GPL-2.0-only
4 config CPU_INTEL_HASWELL
9 select TSC_MONOTONIC_TIMER
10 select SUPPORT_CPU_UCODE_IN_CBFS
11 #select AP_IN_SIPI_WAIT
12 select TSC_SYNC_MFENCE
13 select CPU_INTEL_FIRMWARE_INTERFACE_TABLE
14 select CPU_INTEL_COMMON
15 select CPU_INTEL_COMMON_TIMEBASE
16 select HAVE_ASAN_IN_ROMSTAGE
17 select CPU_INTEL_COMMON_VOLTAGE
25 config IED_REGION_SIZE
29 config SMM_RESERVED_SIZE
37 config CPU_INTEL_NUM_FIT_ENTRIES