Get mptable OEM/product ID from kconfig variables.

[coreboot.git] / src / mainboard / digitallogic / Kconfig

diff --git a/src/mainboard/digitallogic/Kconfig b/src/mainboard/digitallogic/Kconfig
index 7c8fb1164e34193949e8772756ba034fc08cf2d8..a98aa1d0e9a4edf8ecb0810105165183c1e44b7d 100644 (file)
--- a/src/mainboard/digitallogic/Kconfig
+++ b/src/mainboard/digitallogic/Kconfig
@@ -1,10 +1,23 @@
+if VENDOR_DIGITAL_LOGIC
+
 choice
        prompt "Mainboard model"
-       depends on VENDOR_DIGITAL_LOGIC
-        
+
+config BOARD_DIGITALLOGIC_ADL855PC
+       bool "smartModule855"
+config BOARD_DIGITALLOGIC_MSM586SEG
+       bool "MSM586SEG"
+config BOARD_DIGITALLOGIC_MSM800SEV
+       bool "MSM800SEV"
+
+endchoice
+
 source "src/mainboard/digitallogic/adl855pc/Kconfig"
 source "src/mainboard/digitallogic/msm586seg/Kconfig"
 source "src/mainboard/digitallogic/msm800sev/Kconfig"
 
-endchoice
+config MAINBOARD_VENDOR
+       string
+       default "DIGITAL-LOGIC"
 
+endif # VENDOR_DIGITAL_LOGIC