src/cpu/intel/slot_1/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_INTEL_SLOT_1
   4         bool
   5
   6 if CPU_INTEL_SLOT_1
   7
   8 config SLOT_SPECIFIC_OPTIONS
   9         def_bool y
  10         select CPU_INTEL_MODEL_65X
  11         select CPU_INTEL_MODEL_67X
  12         select CPU_INTEL_MODEL_68X
  13         select CPU_INTEL_MODEL_6BX
  14         select CPU_INTEL_MODEL_6XX
  15         select NO_SMM
  16         select UDELAY_TSC
  17         select TSC_MONOTONIC_TIMER
  18         select UNKNOWN_TSC_RATE
  19         select SETUP_XIP_CACHE
  20         select RESERVE_MTRRS_FOR_OS
  21
  22 config DCACHE_RAM_BASE
  23         hex
  24         default 0xfefc0000
  25
  26 config DCACHE_RAM_SIZE
  27         hex
  28         default 0x02000
  29
  30 config DCACHE_BSP_STACK_SIZE
  31         hex
  32         default 0x1000
  33
  34 config C_ENV_BOOTBLOCK_SIZE
  35         hex
  36         default 0x10000
  37
  38 endif