/* Hardware initialisation to generate the RTOS tick. This uses timer 0 but could alternatively use the watchdog timer or timer 1.  */
static void prvSetupTimerInterrupt(void)
/* Hardware initialisation to generate the RTOS tick. This uses timer 0 but could alternatively use the watchdog timer or timer 1.  */
static void prvSetupTimerInterrupt(void)
{
	TACTL = 0;
	TACTL = TASSEL_1;
	TACTL |= TACLR;
	TACCR0 = portACLK_FREQUENCY_HZ / configTICK_RATE_HZ;
	TACCTL0 = CCIE;
	TACTL |= TACLR;
	TACTL |= MC_1;
}