/* Perform hardware setup to enable ticks from timer 1,  */
static void prvSetupTimerInterrupt(void)
/* Perform hardware setup to enable ticks from timer 1,  */
static void prvSetupTimerInterrupt(void)
{
const unsigned short usReloadValue = ( unsigned short ) ( ( ( configPER_CLOCK_HZ / configTICK_RATE_HZ ) / 32UL ) - 1UL );
	TMCSR0_CNTE = 0;
    TMCSR0_CSL = 0x2;
    TMCSR0_MOD = 0;
    TMCSR0_RELD = 1;
    TMCSR0_UF = 0;
	TMRLR0 = usReloadValue;
	TMCSR0_INTE = 1;
	TMCSR0_CNTE = 1;
	TMCSR0_TRG = 1;
    PORTEN = 0x3;
}