| config CPU_INTEL_MODEL_2065X | |
| bool | |
| if CPU_INTEL_MODEL_2065X | |
| config CPU_SPECIFIC_OPTIONS | |
| def_bool y | |
| select ARCH_ALL_STAGES_X86_32 | |
| select ARCH_X86 | |
| select BOOT_DEVICE_SPI_FLASH_NO_EARLY_WRITES | |
| select SSE2 | |
| select UDELAY_TSC | |
| select TSC_MONOTONIC_TIMER | |
| select SUPPORT_CPU_UCODE_IN_CBFS | |
| #select AP_IN_SIPI_WAIT | |
| select TSC_SYNC_MFENCE | |
| select CPU_INTEL_COMMON | |
| select CPU_INTEL_COMMON_TIMEBASE | |
| config SMM_TSEG_SIZE | |
| hex | |
| default 0x800000 | |
| config SMM_RESERVED_SIZE | |
| hex | |
| default 0x100000 | |
| config MAX_CPUS | |
| int | |
| default 4 | |
| endif |