#include <idt.h>
#include <vga.h>
#include <stdio.h>
#include <stdlib.h>
void early_kernel_main() {
terminal_initialize();
idt_init();
}