arch/arm/mach-mmp/Kconfig

if ARCH_MMP

config TARGET_COREPRIMEVELTE
	bool "Support coreprimevelte"
	select LINUX_KERNEL_IMAGE_HEADER

config LNX_KRNL_IMG_TEXT_OFFSET_BASE
	default TEXT_BASE

source "board/samsung/coreprimevelte/Kconfig"

endif