#ifndef STDIO_H
#define STDIO_H

#include "drivers/framebuffer.h"

void print(char*);
void printc(char*,VIDEO_COLORS c);
void printi(int i);

#endif