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