.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