waow

#include <stdio.h>

#include <kernel/tty.h>
#include <kernel/gdt.h>
#include <kernel/idt.h>
#include <kernel/timer.h>
#include <kernel/port_io.h>

void kernel_main(void) {
  tty_init();
  gdt_init();
  printf("Initialised GDT.\n");
  idt_init();
  printf("Initialised IDT.\n");
  timer_init();
  while (1) {
    outb(0x40, 0x00);
    uint8_t res = inb(0x40);
    outb(0x3F8, res);
  }
}