printk before hardwaremain()
[coreboot.git] / src / console / Config.lb
1 uses CONFIG_CONSOLE_SERIAL8250 CONFIG_CONSOLE_VGA
2 uses CONFIG_CONSOLE_LOGBUF CONFIG_CONSOLE_SROM
3 uses CONFIG_USE_INIT
4
5 object printk.o
6 if CONFIG_CONSOLE_SERIAL8250
7   driver uart8250_console.o
8 end
9 if CONFIG_CONSOLE_VGA
10   driver vga_console.o
11 end
12 if CONFIG_CONSOLE_LOGBUF
13   driver logbuf_console.o
14 end
15 if CONFIG_CONSOLE_SROM
16   driver srom_console.o
17 end
18 object console.o
19 object vsprintf.o
20
21 if CONFIG_USE_INIT
22         initobject vsprintf.o
23 end