coreboot-kgpe-d16/src/mainboard/intel/Kconfig

36 lines
832 B
Plaintext

if VENDOR_INTEL
choice
prompt "Mainboard model"
config BOARD_INTEL_D810E2CB
bool "D810E2CB"
config BOARD_INTEL_D945GCLF
bool "D945GCLF"
config BOARD_INTEL_EAGLEHEIGHTS
bool "EagleHeights"
config BOARD_INTEL_JARRELL
bool "Jarrell (SE7520JR2)"
config BOARD_INTEL_MTARVON
bool "3100 devkit (Mt. Arvon)"
config BOARD_INTEL_TRUXTON
bool "EP80579 devkit (Truxton)"
config BOARD_INTEL_XE7501DEVKIT
bool "XE7501devkit"
endchoice
source "src/mainboard/intel/d810e2cb/Kconfig"
source "src/mainboard/intel/d945gclf/Kconfig"
source "src/mainboard/intel/eagleheights/Kconfig"
source "src/mainboard/intel/jarrell/Kconfig"
source "src/mainboard/intel/mtarvon/Kconfig"
source "src/mainboard/intel/truxton/Kconfig"
source "src/mainboard/intel/xe7501devkit/Kconfig"
config MAINBOARD_VENDOR
string
default "Intel"
endif # VENDOR_INTEL