#include "arch/x86/vga.h"
#include "hal/ops.h"

void kmain(int argc, char **argv) {
	printf("Kernel initialized! Platform: %s\n", arch);
	printf("Bootloader type: %s (%s %s)\n", argv[0], argv[1], argv[2]);

	vga_setcolor(VGA_DARK_GRAY);
	vga_write_elsewhere("(c) Quinten Kock 2020 (MIT License)", 24, 0);
	halt_catch_fire();
}