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

if VENDOR_DELL

choice
	prompt "Mainboard model"

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

endchoice

source "src/mainboard/dell/*/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Dell Inc."

endif # VENDOR_DELL