build/default/production/_ext/1249264884/plib_coretimer.o: \
 ../src/config/default/peripheral/coretimer/plib_coretimer.c \
 ../src/config/default/device.h \
 ../src/config/default/toolchain_specifics.h \
 ../src/config/default/peripheral/coretimer/plib_coretimer.h

../src/config/default/device.h:

../src/config/default/toolchain_specifics.h:

../src/config/default/peripheral/coretimer/plib_coretimer.h:
