#include "kernel.h"

/* This routine initializes the kernel.
 * We are left here in 64-bit long mode with the first 6 MB identity mapped.
 * */
void kmain()
{
   // No kmalloc required here yet:
   init_screen();
   setupIDT();
   read_multiboot_info(); // Parse the GRUB multiboot header.
   init_memory(available_memory); // Setup a new paging scheme and memory manager
   // From here kmalloc can be used.
   keyboard_init();
   timer_init();
   load_ramdisk();

   // TODO: make shell a user space program!
   shell(); // Start user shell
}