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

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