# SPDX-License-Identifier: GPL-2.0-only
menuconfig CONFIG_ARCH_BERLIN
	bool "Marvell Berlin SoCs"
	depends on CONFIG_ARCH_MULTI_V7
	select CONFIG_ARCH_HAS_RESET_CONTROLLER
	select CONFIG_ARM_GIC
	select CONFIG_DW_APB_ICTL
	select CONFIG_DW_APB_TIMER_OF
	select CONFIG_GENERIC_IRQ_CHIP
	select CONFIG_GPIOLIB
	select CONFIG_MFD_SYSCON
	select CONFIG_PINCTRL

if CONFIG_ARCH_BERLIN

config CONFIG_MACH_BERLIN_BG2
	bool "Marvell Armada 1500 (BG2)"
	select CONFIG_CACHE_L2X0
	select CONFIG_CPU_PJ4B
	select CONFIG_HAVE_ARM_SCU if CONFIG_SMP
	select CONFIG_HAVE_ARM_TWD if CONFIG_SMP
	select CONFIG_HAVE_SMP
	select CONFIG_PINCTRL_BERLIN_BG2

config CONFIG_MACH_BERLIN_BG2CD
	bool "Marvell Armada 1500-mini (BG2CD)"
	select CONFIG_ARM_ERRATA_754322
	select CONFIG_ARM_ERRATA_775420
	select CONFIG_ARM_GLOBAL_TIMER
	select CONFIG_CACHE_L2X0
	select CONFIG_HAVE_ARM_SCU
	select CONFIG_HAVE_ARM_TWD
	select CONFIG_PINCTRL_BERLIN_BG2CD

config CONFIG_MACH_BERLIN_BG2Q
	bool "Marvell Armada 1500 Pro (BG2-Q)"
	select CONFIG_CACHE_L2X0
	select CONFIG_HAVE_ARM_SCU if CONFIG_SMP
	select CONFIG_HAVE_ARM_TWD if CONFIG_SMP
	select CONFIG_PINCTRL_BERLIN_BG2Q

endif