src/cpu/intel/socket_LGA775/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_INTEL_SOCKET_LGA775
   4         bool
   5         select CPU_INTEL_MODEL_6FX
   6         select CPU_INTEL_MODEL_F3X
   7         select CPU_INTEL_MODEL_F4X
   8         select CPU_INTEL_MODEL_1067X
   9         select SIPI_VECTOR_IN_ROM
  10
  11 if CPU_INTEL_SOCKET_LGA775
  12
  13 config DCACHE_RAM_SIZE
  14         hex
  15         default 0x8000 # 32 kB
  16
  17 config PRERAM_CBFS_CACHE_SIZE
  18         default 0x0
  19
  20 config DCACHE_BSP_STACK_SIZE
  21         hex
  22         default 0x2000
  23
  24 config DCACHE_RAM_BASE
  25         hex
  26         default 0xfeff8000 # 4GB - 16MB - DCACHE_RAM_SIZE
  27
  28 endif # CPU_INTEL_SOCKET_LGA775