keyboard driver

src/vga.c

@@ -51,7 +51,7 @@ void vga_set_cursor_position(uint8_t row, uint8_t col)
     }
 }
 
-void vga_print_char(char character, vga_color_t color)
+void vga_print_char_colored(char character, vga_color_t color)
 {
     switch (character)
     {
@@ -101,11 +101,16 @@ void vga_print_char(char character, vga_color_t color)
     }
 }
 
+void vga_print_char(char character)
+{
+    vga_print_char_colored(character, vga_default_color());
+}
+
 void vga_print_colored(const char* string, vga_color_t color)
 {
     for (uint8_t i = 0; string[i] != '\0'; i++)
     {
-        vga_print_char(string[i], color);
+        vga_print_char_colored(string[i], color);
     }
 }