| ## SPDX-License-Identifier: GPL-2.0-only | |
| config CPU_INTEL_MODEL_1067X | |
| bool | |
| select ARCH_X86 | |
| select SSE2 | |
| select UDELAY_TSC | |
| select TSC_MONOTONIC_TIMER | |
| select TSC_SYNC_MFENCE | |
| select SUPPORT_CPU_UCODE_IN_CBFS | |
| select CPU_INTEL_COMMON | |
| select CPU_INTEL_COMMON_TIMEBASE | |
| select SETUP_XIP_CACHE | |
| select EDK2_USE_LAPIC_TIMER if PAYLOAD_EDK2 |