dma.o: dma.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/dma.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/console.h
except.o: except.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/irq.h \
 /freedo~1/sources/include/kernel/timer.h \
 /freedo~1/sources/include/kernel/keyboard.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/memmgmt.h \
 /freedo~1/sources/include/kernel/except.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/console.h
irq.o: irq.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/irq.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/console.h
kprint.o: kprint.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h
memmgmt.o: memmgmt.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/irq.h \
 /freedo~1/sources/include/kernel/keyboard.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/memmgmt.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/console.h
schedule.o: schedule.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/irq.h \
 /freedo~1/sources/include/kernel/timer.h \
 /freedo~1/sources/include/kernel/keyboard.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/memmgmt.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/console.h
start.o: start.c /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/console.h \
 /freedo~1/sources/include/kernel/irq.h \
 /freedo~1/sources/include/kernel/timer.h \
 /freedo~1/sources/include/kernel/keyboard.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/memmgmt.h \
 /freedo~1/sources/include/kernel/except.h \
 /freedo~1/sources/include/kernel/lpt.h
waitq.o: waitq.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/waitq.h \
 /freedo~1/sources/include/kernel/schedule.h
