1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_MODEL_2065X 4 bool 5 select HAVE_X86_64_SUPPORT 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_COMMON 14 select CPU_INTEL_COMMON_TIMEBASE 15 select CPU_INTEL_COMMON_VOLTAGE 16 17if CPU_INTEL_MODEL_2065X 18 19config SMM_TSEG_SIZE 20 hex 21 default 0x800000 22 23config SMM_RESERVED_SIZE 24 hex 25 default 0x100000 26 27config MAX_CPUS 28 int 29 default 4 30 31endif 32