#include "cedos/drivers/console.h"

CON_DRIVER *std_con = &vga_con;