## SPDX-License-Identifier: GPL-2.0-only config CPU_INTEL_SLOT_1 bool select CPU_INTEL_MODEL_65X select CPU_INTEL_MODEL_67X select CPU_INTEL_MODEL_68X select CPU_INTEL_MODEL_6BX select CPU_INTEL_MODEL_6XX select NO_SMM select UDELAY_TSC select TSC_MONOTONIC_TIMER select UNKNOWN_TSC_RATE select SETUP_XIP_CACHE select RESERVE_MTRRS_FOR_OS if CPU_INTEL_SLOT_1 config DCACHE_RAM_BASE hex default 0xfefc0000 config DCACHE_RAM_SIZE hex default 0x02000 config DCACHE_BSP_STACK_SIZE hex default 0x1000 config C_ENV_BOOTBLOCK_SIZE hex default 0x10000 endif