.include "lib/src/irq.s"
.include "lib/src/keyboard.s"
.include "lib/src/video.s"
.include "lib/src/string.s"
.include "lib/src/int.s"
kernel_init
rts