4 prompt "Mainboard model"
6 config BOARD_TECHNEXION_TIM5690
8 config BOARD_TECHNEXION_TIM8690
13 source "src/mainboard/technexion/tim5690/Kconfig"
14 source "src/mainboard/technexion/tim8690/Kconfig"
16 config MAINBOARD_VENDOR
20 endif # VENDOR_TECHNEXION