src/cpu/intel/model_2065x/Kconfig

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