if VENDOR_TECHNEXION

choice
	prompt "Mainboard model"

config BOARD_TECHNEXION_TIM5690
	bool "TIM-5690"
config BOARD_TECHNEXION_TIM8690
	bool "TIM-8690"

endchoice

source "src/mainboard/technexion/tim5690/Kconfig"
source "src/mainboard/technexion/tim8690/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Technexion"

endif # VENDOR_TECHNEXION