| config CPU_INTEL_SOCKET_MPGA604 |
| bool |
| |
| if CPU_INTEL_SOCKET_MPGA604 |
| |
| config SOCKET_SPECIFIC_OPTIONS |
| def_bool y |
| select CPU_INTEL_MODEL_F2X |
| select MMX |
| select SSE |
| select UDELAY_TSC |
| select TSC_MONOTONIC_TIMER |
| select SIPI_VECTOR_IN_ROM |
| select CPU_INTEL_COMMON |
| select CPU_INTEL_COMMON_TIMEBASE |
| |
| # mPGA604 are usually Intel Netburst CPUs which should have SSE2 |
| # but the ramtest.c code on the Dell S1850 seems to choke on |
| # enabling it, so disable it for now. |
| config SSE2 |
| bool |
| default n |
| |
| config DCACHE_RAM_BASE |
| hex |
| default 0xfefc0000 |
| |
| config DCACHE_RAM_SIZE |
| hex |
| default 0x4000 |
| |
| config DCACHE_BSP_STACK_SIZE |
| hex |
| default 0x2000 |
| |
| endif # CPU_INTEL_SOCKET_MPGA604 |