// Dummy file to satisfy #include <ti/sysbios/hal/Timer.h>