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

// NOTE: not getting computed at compile time so we always have a call
u32 strlen(const char*);

u32 write(const char*, const u32);

void printf(const char*);

void printhex(u32);

void putch(const char);