obj/c_programs/reboot.c.o: src/c_programs/reboot.c src/a_tools/timer.h \
 src/interrupts/irq.h src/interrupts/idt.h src/interrupts/cpu.h
src/a_tools/timer.h:
src/interrupts/irq.h:
src/interrupts/idt.h:
src/interrupts/cpu.h:
