FreeRTOS-Plus/Source/FreeRTOS-Plus-Trace/Include/trcHardwarePort.h (1 line):
	- line 477: #define TRC_HWTC_PERIOD ((configPIT_CLOCK_HZ / configTICK_RATE_HZ) - 1U) // TODO FIXME or maybe not -1? what's the right "period" value?