if VENDOR_THOMSON

choice
	prompt "Mainboard model"

config BOARD_THOMSON_IP1000
	bool "IP1000"

endchoice

source "src/mainboard/thomson/ip1000/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Thomson"

endif # VENDOR_THOMSON
