src/cpu/intel/socket_mPGA604/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_INTEL_SOCKET_MPGA604
   4         bool
   5         select CPU_INTEL_MODEL_F2X
   6         select UDELAY_TSC
   7         select TSC_MONOTONIC_TIMER
   8         select SIPI_VECTOR_IN_ROM
   9         select CPU_INTEL_COMMON
  10         select CPU_INTEL_COMMON_TIMEBASE
  11
  12 if CPU_INTEL_SOCKET_MPGA604
  13
  14 config DCACHE_RAM_BASE
  15         hex
  16         default 0xfefc0000
  17
  18 config DCACHE_RAM_SIZE
  19         hex
  20         default 0x4000
  21
  22 config PRERAM_CBFS_CACHE_SIZE
  23         default 0x0
  24
  25 config DCACHE_BSP_STACK_SIZE
  26         hex
  27         default 0x2000
  28
  29 endif # CPU_INTEL_SOCKET_MPGA604