if VENDOR_TECHNEXION

choice
	prompt "Mainboard model"

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

endchoice

source "src/mainboard/technexion/*/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Technexion"

endif # VENDOR_TECHNEXION