alcedo/kernel/kernel.nim

import tty, gdt, irq, serial

proc kernelMain() {.exportc: "kernel_main"}=
  serial.init()
  serial.write("Booting OS")
  gdt.gdtInstall()
  serial.write("GDT installed")
  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')
Added logging via serial output. 2017-11-08 02:36:35 +00:00			`import tty, gdt, irq, serial`
Moved from a flat directory structure to a more sane one. 2017-10-21 19:23:17 +01:00
			`proc kernelMain() {.exportc: "kernel_main"}=`
Added logging via serial output. 2017-11-08 02:36:35 +00:00			`serial.init()`
			`serial.write("Booting OS")`
Added GDT setup code. 2017-11-06 21:44:17 +00:00			`gdt.gdtInstall()`
Added logging via serial output. 2017-11-08 02:36:35 +00:00			`serial.write("GDT installed")`
Moved from a flat directory structure to a more sane one. 2017-10-21 19:23:17 +01:00			`terminalInitialize()`
Fixed integer printing for negative numbers. 2017-10-22 00:44:01 +01:00			`terminalWrite("Hello World!\L")`
			`terminalWrite("MAX_INT:")`
			`terminalWrite(high(int))`
			`terminalWrite("\LMIN_INT:")`
			`terminalWrite(low(int32)+1)`
Scrolling now works. Simplified access to VGA memory. 2017-10-22 01:54:51 +01:00			`for i in 0..22:`
			`terminalWrite(i)`
			`terminalWrite('\L')`