| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| config CPU_INTEL_SLOT_1 |
| bool |
| |
| if CPU_INTEL_SLOT_1 |
| |
| config SLOT_SPECIFIC_OPTIONS |
| def_bool y |
| 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 |
| |
| 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 |