object printk.o if CONFIG_CONSOLE_SERIAL8250 driver uart8250_console.o end if CONFIG_CONSOLE_VGA driver vga_console.o end if CONFIG_CONSOLE_LOGBUF driver logbuf_console.o end if CONFIG_CONSOLE_SROM driver srom_console.o end object console.o object vsprintf.o