src/mainboard/intel/Kconfig

   1 choice
   2         prompt "Mainboard model"
   3         depends on VENDOR_INTEL
   4
   5 source "src/mainboard/intel/d945gclf/Kconfig"
   6 source "src/mainboard/intel/eagleheights/Kconfig"
   7 source "src/mainboard/intel/jarrell/Kconfig"
   8 source "src/mainboard/intel/mtarvon/Kconfig"
   9 source "src/mainboard/intel/truxton/Kconfig"
  10 source "src/mainboard/intel/xe7501devkit/Kconfig"
  11
  12 endchoice
  13