#include <stdio.h>
#include <stdint.h>

#include <kernel/_kernel.h>
#include <kernel/tty.h>
#include <kernel/serial.h>
#include <kernel/x86/gdt.h>
#include <kernel/x86/idt.h>
#include <kernel/x86/pic.h>

uint64_t gdt[GDT_SIZE];

void kmain(void)
{
#ifdef __TESTING__ // important components should be declared first, but if we're testing we want to log all of that
	terminal_initialize();
	serial_initialize();
#endif
	gdt_init(gdt);		
	idt_init();
	PIC_remap(0x20, 0x28);

#ifndef __TESTING__ 
	terminal_initialize();
	serial_initialize();
#endif


	printf("Integer: %1\n", gdt[1]);
	printf("Hex Int: %x\n", 2);
}