#ifndef DVGA_H
#define DVGA_H

void vga_init();
void vga_putchar(char c);

#endif