//#include <stdio.h>

#include <kernel/tty.h>
#include <kernel/gdt.h>

int kernel_main(void) {
	//Prepare the GDT
	gdt_install();
	//Prepare interrupts
	//idt_install();
	//Prepare the screen, and blank it out.
	screen_initialize();
	
	//Print a copyright message.
	term_writes("(c)");
	term_setcolor(GREEN);
	term_writes(" Project");
	term_setcolor(RED);
	term_writes("RED");
	term_setcolor(WHITE);
	term_writes(", 2019\n");
	
	for(;;) {}
	return 0;
}