Rename vendor identifiers in Kconfig
[coreboot.git] / src / mainboard / digitallogic / Kconfig
1 if VENDOR_DIGITALLOGIC
2
3 choice
4         prompt "Mainboard model"
5
6 config BOARD_DIGITALLOGIC_ADL855PC
7         bool "smartModule855"
8 config BOARD_DIGITALLOGIC_MSM586SEG
9         bool "MSM586SEG"
10 config BOARD_DIGITALLOGIC_MSM800SEV
11         bool "MSM800SEV"
12
13 endchoice
14
15 source "src/mainboard/digitallogic/adl855pc/Kconfig"
16 source "src/mainboard/digitallogic/msm586seg/Kconfig"
17 source "src/mainboard/digitallogic/msm800sev/Kconfig"
18
19 config MAINBOARD_VENDOR
20         string
21         default "DIGITAL-LOGIC"
22
23 endif # VENDOR_DIGITALLOGIC