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

u64 strlen(char*);
u64 write(const char*, const u64);