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

u64 strlen(char*);
u64 write(const char*, const u64);
u64 read(const u64);
void printf(const s8*, ...);