/* Sets up the periodic ISR used for the RTOS tick. This uses RLT0, but can be done using any given RLT.  */
static void prvSetupRLT0Interrupt(void)
/* Sets up the periodic ISR used for the RTOS tick. This uses RLT0, but can be done using any given RLT.  */
static void prvSetupRLT0Interrupt(void)
{
const uint16_t usReloadValue = ( uint16_t ) ( ( ( configCLKP1_CLOCK_HZ / configTICK_RATE_HZ ) / 16UL ) - 1UL );
	TMRLR0 = usReloadValue;
    TMCSR0 = 0x041B;    
}