| 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 |