A template file called trcPort.c is provided for this purpose. The file contains a function that should be implemented to return the current time, which can be the value of the hardware counter used to supply the FreeRTOS tick. Please refer to the comments in the file for detailed instructions. The FreeRTOS+Trace recorder code also also needs to know the frequency at which the timer is running. [The hardware timer used to supply the FreeRTOS tick is usually configured by a function called prvSetupTimerInterrupt() in the FreeRTOS port.c file used by your FreeRTOS application.]