#include <asm/io.h>
#include <kernel/con.h>
#include <stdint.h>

uint32_t ticks = 0;

#define millis() \
  (ticks * 10)

void sleep(int ms) {
  uint64_t t = millis() + ms;
  while(millis() < t);
}

void kmain(void) {
  con_init();

  printf("Kernel booting...\n");
  printf("Kernel booted!\n");

  printf("PIC1 Mask: 0x%02x\n", inb(0x21));

  while(1) {
    sleep(500);
    printf("Reliable 500ms tick!\n");
  }
}