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

u64 write(const s8*, const u64);