1 ## SPDX-License-Identifier: GPL-2.0-only
3 config CPU_INTEL_SLOT_1
8 config SLOT_SPECIFIC_OPTIONS
10 select CPU_INTEL_MODEL_65X
11 select CPU_INTEL_MODEL_67X
12 select CPU_INTEL_MODEL_68X
13 select CPU_INTEL_MODEL_6BX
14 select CPU_INTEL_MODEL_6XX
17 select TSC_MONOTONIC_TIMER
18 select UNKNOWN_TSC_RATE
19 select SETUP_XIP_CACHE
20 select RESERVE_MTRRS_FOR_OS
22 config DCACHE_RAM_BASE
26 config DCACHE_RAM_SIZE
30 config DCACHE_BSP_STACK_SIZE
34 config C_ENV_BOOTBLOCK_SIZE