#ifndef VGA_H
#define VGA_H

#include <defs.h>
#include <stdint.h>

#define VGA_MEMORY_ADDR (volatile uint16_t*)0xB8000;

#define MAX_WIDTH 80
#define MAX_HEIGHT 25

void vga_setup(int maxw, int maxh) BLSEC_TEXT;
uint8_t vga_color(uint8_t fg, uint8_t bg) BLSEC_TEXT;
void vga_put(uint32_t x, uint32_t y, unsigned char uc, uint8_t color) BLSEC_TEXT;

#endif