src/mainboard/technexion/Kconfig

   1 choice
   2         prompt "Mainboard model"
   3         depends on VENDOR_TECHNEXION
   4
   5 source "src/mainboard/technexion/tim8690/Kconfig"
   6 source "src/mainboard/technexion/tim5690/Kconfig"
   7
   8 endchoice
   9