printk before hardwaremain()

git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1321 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

1 files changed, 7 insertions, 2 deletions

diff --git a/src/console/Config.lb b/src/console/Config.lb
index eb2d33c8e9..970e4bad01 100644
--- a/src/console/Config.lb
+++ b/src/console/Config.lb
@@ -1,18 +1,23 @@
 uses CONFIG_CONSOLE_SERIAL8250 CONFIG_CONSOLE_VGA
 uses CONFIG_CONSOLE_LOGBUF CONFIG_CONSOLE_SROM
+uses CONFIG_USE_INIT
 
 object printk.o
 if CONFIG_CONSOLE_SERIAL8250
-  driver uart8250_console.o 
+  driver uart8250_console.o
 end
 if CONFIG_CONSOLE_VGA
   driver vga_console.o
 end
 if CONFIG_CONSOLE_LOGBUF
-  driver logbuf_console.o   
+  driver logbuf_console.o
 end
 if CONFIG_CONSOLE_SROM
   driver srom_console.o
 end
 object console.o
 object vsprintf.o
+
+if CONFIG_USE_INIT
+	initobject vsprintf.o
+end