src/mainboard/supermicro/Kconfig

   1 choice
   2         prompt "Mainboard model"
   3         depends on VENDOR_SUPERMICRO
   4
   5 source "src/mainboard/supermicro/h8dme/Kconfig"
   6 source "src/mainboard/supermicro/h8dmr/Kconfig"
   7 source "src/mainboard/supermicro/h8dmr_fam10/Kconfig"
   8 source "src/mainboard/supermicro/h8qme_fam10/Kconfig"
   9 source "src/mainboard/supermicro/x6dai_g/Kconfig"
  10 source "src/mainboard/supermicro/x6dhe_g/Kconfig"
  11 source "src/mainboard/supermicro/x6dhe_g2/Kconfig"
  12 source "src/mainboard/supermicro/x6dhr_ig/Kconfig"
  13 source "src/mainboard/supermicro/x6dhr_ig2/Kconfig"
  14
  15 endchoice
  16