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 792d6005489ebee62cde02066f19c5521e620451..fb665c45cf915e6236d67e13c22d54d6575e011c 100644 (file)
--- a/src/mainboard/dell/Kconfig
+++ b/src/mainboard/dell/Kconfig
@@ -1 +1,17 @@
-#
+if VENDOR_DELL
+
+choice
+       prompt "Mainboard model"
+
+config BOARD_DELL_S1850
+       bool "PowerEdge 1850"
+
+endchoice
+
+source "src/mainboard/dell/s1850/Kconfig"
+
+config MAINBOARD_VENDOR
+       string
+       default "Dell"
+
+endif # VENDOR_DELL