devices/timer.o: ../../devices/timer.c ../../devices/timer.h \
 ../../lib/round.h ../../lib/stdint.h ../../lib/debug.h \
 ../../lib/inttypes.h ../../lib/stdio.h ../../lib/stdarg.h \
 ../../lib/stdbool.h ../../lib/stddef.h ../../lib/kernel/stdio.h \
 ../../devices/pit.h ../../threads/interrupt.h ../../threads/synch.h \
 ../../lib/kernel/list.h ../../threads/thread.h
