Prepare the BIOS data areas before device init.

[coreboot.git] / src / devices / device.c

diff --git a/src/devices/device.c b/src/devices/device.c
index 0d2bf8f1ae5a3d4f891a83e4839c0776ae2e532d..0e9c39e2031d7fe77c5fc4fa8b42d23a6e5a124f 100644 (file)
--- a/src/devices/device.c
+++ b/src/devices/device.c
@@ -41,6 +41,9 @@
 #include <stdlib.h>
 #include <string.h>
 #include <smp/spinlock.h>
+#if CONFIG_ARCH_X86
+#include <arch/ebda.h>
+#endif
 
 /** Linked list of ALL devices */
 struct device *all_devices = &dev_root;
@@ -1102,6 +1105,11 @@ void dev_initialize(void)
 
        printk(BIOS_INFO, "Initializing devices...\n");
 
+#if CONFIG_ARCH_X86
+       /* Ensure EBDA is prepared before Option ROMs. */
+       setup_default_ebda();
+#endif
+
        /* First call the mainboard init. */
        init_dev(&dev_root);