#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