1 2 3 4 5
void vga_clear_screen(); void vga_print(char *msg); void vga_print_ln(char *msg); void vga_set_text_colour(int foreground, int background); void vga_print_raw(unsigned char byte);