1## SPDX-License-Identifier: GPL-2.0-only 2 3 4config CPU_INTEL_HASWELL 5 bool 6 select ARCH_X86 7 select SSE2 8 select UDELAY_TSC 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 18 19if CPU_INTEL_HASWELL 20 21config SMM_TSEG_SIZE 22 hex 23 default 0x800000 24 25config IED_REGION_SIZE 26 hex 27 default 0x400000 28 29config SMM_RESERVED_SIZE 30 hex 31 default 0x100000 32 33config MAX_CPUS 34 int 35 default 8 36 37config CPU_INTEL_NUM_FIT_ENTRIES 38 default 6 39endif 40