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

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

#define GDT_SIZE 5

uint64_t gdt[GDT_SIZE];


void gdt_init(void)
{ 
	gdt[0] = create_descriptor(0, 0, 0); // null
	gdt[1] = create_descriptor(0, 0x000FFFFF, (GDT_CODE_PL0)); // kernel code
	gdt[2] = create_descriptor(0, 0x000FFFFF, (GDT_DATA_PL0)); // kernel data
	gdt[3] = create_descriptor(0, 0x000FFFFF, (GDT_CODE_PL3)); // user code
	gdt[4] = create_descriptor(0, 0x000FFFFF, (GDT_DATA_PL3)); // user data

	setGdt((sizeof(uint64_t) * GDT_SIZE) - 1, &(gdt[0])); // limit, base
	reloadSegments();
}

#undef GDT_SIZE

void kmain(void)
{
	gdt_init();		
	idt_init();

	terminal_initialize();
	serial_initialize();


	terminal_writestring("test");

	serial_writestring("test!");

	printf("test..");
}