{.link: "boot.o".}
{.passL: "-T kernel/arch/i386/linker.ld".}

import tty, gdt, irq, serial

proc kernelMain() {.exportc: "kernel_main"}=
  serial.init()
  serial.write("Booting OS\L")
  gdt.gdtInstall()
  serial.write("GDT installed\L")
  terminalInitialize()
  terminalWrite("Hello World!\L")
  terminalWrite("MAX_INT:")
  terminalWrite(high(int))
  terminalWrite("\LMIN_INT:")
  terminalWrite(low(int32)+1)
  for i in 0..22:
    terminalWrite(i)
    terminalWrite('\L')