#pragma once
#include <memory.h>
#include <multiboot.h>

#define VGA_MEMORY P2V(0xB8000)

// drivers/vga.c
void vga_init();
void vga_write(char c);

// drivers/framebuffer.c
void framebuffer_init(struct fbinfo *fbinfo);