src/cpu/intel/socket_LGA775/Kconfig

   1 config CPU_INTEL_SOCKET_LGA775
   2         bool
   3
   4 if CPU_INTEL_SOCKET_LGA775
   5
   6 config SOCKET_SPECIFIC_OPTIONS
   7         def_bool y
   8         select CPU_INTEL_MODEL_6FX
   9         select CPU_INTEL_MODEL_F3X
  10         select CPU_INTEL_MODEL_F4X
  11         select CPU_INTEL_MODEL_1067X
  12         select MMX
  13         select SIPI_VECTOR_IN_ROM
  14
  15 config DCACHE_RAM_SIZE
  16         hex
  17         default 0x8000 # 32 kB
  18
  19 config DCACHE_BSP_STACK_SIZE
  20         hex
  21         default 0x2000
  22
  23 config DCACHE_RAM_BASE
  24         hex
  25         default 0xfeff8000 # 4GB - 16MB - DCACHE_RAM_SIZE
  26
  27 endif # CPU_INTEL_SOCKET_LGA775