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 CPU_INTEL_MODEL_F3X
  10         select CPU_INTEL_MODEL_F4X
  11         select MMX
  12         select SSE
  13         select UDELAY_TSC
  14
  15 # mPGA604 are usually Intel Netburst CPUs which should have SSE2
  16 # but the ramtest.c code on the Dell S1850 seems to choke on
  17 # enabling it, so disable it for now.
  18 config SSE2
  19         bool
  20         default n
  21
  22 config DCACHE_RAM_BASE
  23         hex
  24         default 0x0ffafc000
  25
  26 config DCACHE_RAM_SIZE
  27         hex
  28         default 0x4000
  29
  30 endif # CPU_INTEL_SOCKET_MPGA604
  31