#include <lib/print.h>
#include <lib/stream.h>

#include <idt.h>

#include <stdint.h>

extern void init_idt();
extern void init_gdt();

void kernel_main(void) 
{
  extern print_stream_t vga_print_stream;
  extern print_stream_t* kout;
  kout = &vga_print_stream;
  kout->trunc();

  kprint("RockOS booting...\n");

  init_gdt();
  kprint("GDT set\n");

  init_idt();
  kprint("IDT set\n");
}