src/timertest.d src/timertest.o: ../src/timertest.c \
  ../../xilkernel_bsp_0/ppc440_0/include/xmk.h

../../xilkernel_bsp_0/ppc440_0/include/xmk.h:
