#ifndef STLIO_H
#define STLIO_H
#include "types.h"
#include "framebuffer.h"
// Frame buffer driver

// NOTE: not getting computed at compile time so we always have a call
#define LINE_LENGTH COLUMNS

u32 strlen(const char*);

u32 strcmp(const char*, const char*);

u32 write(const char*, const u32);

u32 read(char*, u32);

void printf(const char*);

void printhex(u32);

void putch(const char);
#endif