We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.

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

diff --git a/src/mainboard/dell/Kconfig b/src/mainboard/dell/Kconfig
index 92fe3de9a56de83b33ec7b01d7b5852ccb6c5557..fb665c45cf915e6236d67e13c22d54d6575e011c 100644 (file)
--- a/src/mainboard/dell/Kconfig
+++ b/src/mainboard/dell/Kconfig
@@ -1,8 +1,17 @@
+if VENDOR_DELL
+
 choice
        prompt "Mainboard model"
-       depends on VENDOR_DELL
 
-source "src/mainboard/dell/s1850/Kconfig"
+config BOARD_DELL_S1850
+       bool "PowerEdge 1850"
 
 endchoice
 
+source "src/mainboard/dell/s1850/Kconfig"
+
+config MAINBOARD_VENDOR
+       string
+       default "Dell"
+
+endif # VENDOR_DELL