#include <common.h>

#include <idt.h>
#include <drivers/keyboard.h>
#include <drivers/terminal.h>

void kern_main()
{
  /*
    The entry point for the Helio kernel. As of now, this currently doesn't
    do a whole lot other than hang the system indefinitely. The IDT and IRQ handling is
    setup on a lower level than C, in the Assembly code.
  */

  // FIXME: For some reason this doesnt work
  idt_init();
  term_clear();
  term_write("Hello");

  // while (1)
  // {
  //   int k = inportb(0x60);

  //   char s[2] = {0};
  //   s[0] = k;
  //   term_write(s);
  // }
  // //scr_tmputchar('H', 0, 0, 0x07);
  // scr_tmwrite("Hello world from Helio!");
}