#include "types.h"
#include "framebuffer.h"
// Frame buffer driver

u32 strlen(char*);
u32 write(const char*, const u32);
u32 read(const u32);
void printf(char*);