1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_MODEL_206AX 4 bool 5 select ARCH_X86 6 select HAVE_X86_64_SUPPORT 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 16if CPU_INTEL_MODEL_206AX 17 18config SMM_TSEG_SIZE 19 hex 20 default 0x800000 21 22config SMM_RESERVED_SIZE 23 hex 24 default 0x100000 25 26# Intel Enhanced Debug region must be 4MB 27config IED_REGION_SIZE 28 hex 29 default 0x400000 30 31config MAX_CPUS 32 int 33 default 8 34 35endif 36