#include "../drivers/vga.h"
#include "../drivers/serial.h"
#include "gdt.h"
#include "idt.h"
#include "logger.h"

void kernel_main(void) {
	log_info(LOG_NORMAL, "Initializing serial...");
	serial_init();
	log_info(LOG_NORMAL, "Initializing VGA...");
    vga_init();
	log_info(LOG_NORMAL, "Setting color white on black");
    vga_set_color(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
    log_info(LOG_NORMAL, "Initializing GDT...");
    gdt_init();
    log_info(LOG_NORMAL, "Initializing IDT...");
    idt_init();
    while (1);
}