//#include <stdio.h>

#include <kernel/tty.h>
#include <kernel/descriptor_tables.h>
#include <kernel/serial.h>

int kernel_main(void) {
	// Prepare the screen, and blank it out.
	screen_initialize();
	
	// Prepare the serial console.
	init_serial();
	serial_print(0x3F8, "[INFO] Serial ready.\n");
	
	// Prepare the GDT
	serial_print(0x3F8, "[INFO] Beginning GDT subroutine.\n");
	gdt_install();
	
	// Prepare interrupts
	serial_print(0x3F8, "[INFO] Beginning IDT subroutine.\n");
	idt_install();
	
	//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;
}