#include "drivers/console.h"

CON_DRIVER *std_con = &vga_con;