#ifndef STDIO_H
#define STDIO_H

#include <stdint.h>

#define FRAMEBUFFER_LOCATION 0x000B8000
#define VIDEO_WIDTH 80
#define VIDEO_HEIGHT 25

extern void setTextStyle(uint8_t style);
extern void clearScreen();
extern void printf(const char* format, ...);
extern void putCharAt(char c, uint8_t x, uint8_t y);
extern void putCharsAt(char* string, uint8_t x, uint8_t y);
extern void puts(char* string);
extern void putChars(char* string, uint32_t length);

extern uint32_t strlen(char* string);

#endif