#define STAGE1
#include "stage1.h"

#include <stddef.h>
#include <stdint.h>
#include <vga.h>
#include <printk.h>
#include <string.h>

void centry(void)
{
	vga_setup(25,80);

	uint8_t color = vga_color(0xF, 0);

	write("Bootloader is set to 32-bit mode.", color);

	while (1) {
		asm ("cli");
		asm ("hlt");
	}
}