src/cpu/intel/model_206ax/Kconfig

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