Too much time between xSemaphoreGiveFromISR and xSemaphoreTake()

Kernel
2

richard_damon wrote on Monday, March 31, 2014:

Does your ISR check the “wasWoken” flag and initiate a task reschedule? If not, the system will wait till the next timer tick.

How to do that is a bit port dependent.