FreeRTOS - Interrupt Management
What is the expected behavior of
xSemaphoreGiveFromISR() when called inside an ISR and the semaphore unblocks a higher priority task?