#ifndef VGA_H
#define VGA_H

#include <stdint.h>

void vga_set_color(uint8_t color);
void vga_blank();
void vga_scroll();
void vga_printch(char ch);
void vga_printsz(char *sz);
void vga_printsn(char *sn, uint8_t n);

#endif