1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_SOCKET_P 4 bool 5 select CPU_INTEL_MODEL_1067X 6 select CPU_INTEL_MODEL_6FX 7 8if CPU_INTEL_SOCKET_P 9 10config DCACHE_RAM_BASE 11 hex 12 default 0xfefc0000 13 14config DCACHE_RAM_SIZE 15 hex 16 default 0x10000 17 18config DCACHE_BSP_STACK_SIZE 19 hex 20 default 0x2000 21 22config MAX_CPUS 23 int 24 default 4 25 26endif 27