oxo147 wrote on Wednesday, November 21, 2012:
This is frustrating. 
… as always in embedded …
So the code is running, and I can break in and it’s in the idle task. looks good.
But the xTickCount is not incrementing. So, check the timer setup. That’s correct and the TCR is changing.
VICIrqStatus is 0x10, which means that the interrupt is triggered but not serviced.
cpsr is 0x6000001f, which I interpret to mean that the interrupts are enabled.
So what could be wrong??