kernel/drivers/console.c (view raw)
1 2 3
#include "drivers/console.h" CON_DRIVER *std_con = &vga_con;