#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>

#include "string.h"

#define KernelTag "[Kernel]: "
#define AS_KERNEL() (  kterm_setcolor(VGA_COLOR_LIGHT_BLUE),\
                       kterm_write(KernelTag, strlen(KernelTag)), \
                       kterm_resetcolor())

void kterm_init();

void kterm_resetcolor();
void kterm_setcolor(uint8_t);

void kterm_putat(char, uint8_t, size_t, size_t);
void kterm_put(char);
void kterm_write(const char*, size_t);
void kterm_writestring(const char*);
void kterm_scrollup();