1 2 3 4 5 6 7 8 9 10
#ifndef VGA_H #define VGA_H #include <stdint.h> void vga_set_color(uint8_t color); void vga_blank(); void vga_printch(char ch); #endif