/* The ISR used for the scheduler tick depends on whether the cooperative or the preemptive scheduler is being used.  */
void vNonPreemptiveTick(void)
/* The ISR used for the scheduler tick depends on whether the cooperative or the preemptive scheduler is being used.  */
void vNonPreemptiveTick(void)
{
		uint32_t ulDummy;
		xTaskIncrementTick();
		ulDummy = AT91C_BASE_PITC->PITC_PIVR;
		AT91C_BASE_AIC->AIC_EOICR = ulDummy;
	}