#pragma once

#include "src/kernel/stream.h"

#define VGA_WIDTH 80
#define VGA_HEIGHT 25

stream_t *vga_init();

void vga_set_string(uint8_t row, uint8_t col, const char *str, uint8_t color);