I have an F2808 with four tasks set to the same priority, and they time-slice by calling TSK_yield() periodically. Each task is dedicated to handling input from the four SPI ports. After startup, they time-slice properly, switching between tasks very quickly and reliably. Once an interrupt occurs and after it has been serviced, all four threads no longer run. On top of that, the interrupt won't interrupt again on a second input. Any ideas why?