#ifndef TERMINAL_H
#define TERMINAL_H

#include <stdint.h>

#define FRAMEBUFFER_LOCATION 0x000B8000
#define VIDEO_WIDTH 80
#define VIDEO_HEIGHT 25

extern void writeString(char *string);

extern void writeChar(char c);

#endif