| config CPU_INTEL_SOCKET_MPGA604 | |
| bool | |
| select CPU_INTEL_MODEL_F2X | |
| select UDELAY_TSC | |
| select TSC_MONOTONIC_TIMER | |
| select SIPI_VECTOR_IN_ROM | |
| select CPU_INTEL_COMMON | |
| select CPU_INTEL_COMMON_TIMEBASE | |
| if CPU_INTEL_SOCKET_MPGA604 | |
| 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 |