console.o: console.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/console.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/irq.h \
 /freedo~1/sources/include/kernel/keyboard.h \
 /freedo~1/sources/include/kernel/schedule.h
devices.o: devices.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/kprint.h \
 /freedo~1/sources/include/stdarg.h \
 /freedo~1/sources/include/sys/fdtypes.h
floppy.o: floppy.c /freedo~1/sources/include/string.h \
 /freedo~1/sources/include/sys/fdtypes.h \
 /freedo~1/sources/include/kernel/kernel.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/kernel/schedule.h \
 /freedo~1/sources/include/kernel/waitq.h \
 /freedo~1/sources/include/kernel/timer.h \
 /freedo~1/sources/include/kernel/selector.h \
 /freedo~1/sources/include/kernel/console.h \
 /freedo~1/sources/include/kernel/dma.h
keyboard.o: keyboard.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/timer.h \
 /freedo~1/sources/include/kernel/schedule.h \
 /freedo~1/sources/include/kernel/waitq.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
lpt.o: lpt.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/selector.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/lpt.h
ramdisk.o: ramdisk.c /freedo~1/sources/include/kernel/kernel.h \
 /freedo~1/sources/include/kernel/selector.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/schedule.h \
 /freedo~1/sources/include/kernel/console.h \
 /freedo~1/sources/include/string.h
timer.o: timer.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/schedule.h
