## SPDX-License-Identifier: GPL-2.0-only

if VENDOR_ARM

choice
	prompt "Mainboard model"
	default BOARD_ARM_RDN2

source "src/mainboard/arm/*/Kconfig.name"

endchoice

source "src/mainboard/arm/*/Kconfig"

config MAINBOARD_VENDOR
	default "Arm"

endif # VENDOR_ARM