if VENDOR_BACHMANN

choice
	prompt "Mainboard model"

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

endchoice

source "src/mainboard/bachmann/*/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Bachmann electronic"

endif # VENDOR_BACHMANN