#include <idt.h>
#include <vga.h>
#include <paging.h>
#include <stdio.h>
#include <stdlib.h>

void early_kernel_main() {
  terminal_initialize();
  idt_init();
  paging_init();
}