## SPDX-License-Identifier: GPL-2.0-only config CPU_INTEL_SOCKET_P bool select CPU_INTEL_MODEL_1067X select CPU_INTEL_MODEL_6FX if CPU_INTEL_SOCKET_P config DCACHE_RAM_BASE hex default 0xfefc0000 config DCACHE_RAM_SIZE hex default 0x10000 config DCACHE_BSP_STACK_SIZE hex default 0x2000 config MAX_CPUS int default 4 endif