## SPDX-License-Identifier: GPL-2.0-only | |
config CPU_INTEL_MODEL_6FX | |
bool | |
select ARCH_X86 | |
select SSE2 | |
select UDELAY_TSC | |
select TSC_MONOTONIC_TIMER | |
select AP_IN_SIPI_WAIT | |
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 |