kernel.o: src/kernel/kernel.c src/kernel/gdt.h src/kernel/types.h \
 src/kernel/tss.h src/kernel/idt.h src/kernel/interrupts.h \
 src/kernel/kernel_state.h src/lib/include/str.h src/kernel/pic.h \
 src/kernel/page.h src/lib/include/libc.h src/kernel/tty.h
