## 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