src/cpu/intel/socket_mPGA604/Kconfig

   1 config CPU_INTEL_SOCKET_MPGA604
   2         bool
   3
   4 if CPU_INTEL_SOCKET_MPGA604
   5
   6 config SOCKET_SPECIFIC_OPTIONS # dummy
   7         def_bool y
   8         select CPU_INTEL_MODEL_F2X
   9         select MMX
  10         select SSE
  11         select UDELAY_TSC
  12         select TSC_MONOTONIC_TIMER
  13         select SIPI_VECTOR_IN_ROM
  14         select CPU_INTEL_COMMON
  15         select CPU_INTEL_COMMON_TIMEBASE
  16
  17 # mPGA604 are usually Intel Netburst CPUs which should have SSE2
  18 # but the ramtest.c code on the Dell S1850 seems to choke on
  19 # enabling it, so disable it for now.
  20 config SSE2
  21         bool
  22         default n
  23
  24 config DCACHE_RAM_BASE
  25         hex
  26         default 0xfefc0000
  27
  28 config DCACHE_RAM_SIZE
  29         hex
  30         default 0x4000
  31
  32 config DCACHE_BSP_STACK_SIZE
  33         hex
  34         default 0x2000
  35
  36 endif # CPU_INTEL_SOCKET_MPGA604