Upload files to "drivers/vga"

drivers/vga/vga.c

@@ -0,0 +1,10 @@
+#include <stddef.h>
+#include <vga/vga.h>
+
+uint8_t vga_entry_color(enum vga_color fg, enum vga_color bg) {
+    return fg | bg << 4;
+}
+
+uint16_t vga_entry(unsigned char uc, uint8_t color) {
+    return (uint16_t) uc | (uint16_t) color << 8;
+}