#include "../drivers/vga.h"

// Called by boot.asm
void main() {
    VGA vga;

    vga.clearScreen();
    vga.print("Kernel booted.");
}