/* The cooperative scheduler is being used so all we have to do is periodically increment the tick. This can just be a normal ISR and the "saveall" attribute is not required.  */
void vTickISR(void)
/* The cooperative scheduler is being used so all we have to do is periodically increment the tick. This can just be a normal ISR and the "saveall" attribute is not required.  */
void vTickISR(void)
{
		vTaskIncrementTick();
		TSR1 &= ~0x01;
	}