But you are not supposed to call any FreeRTOS API from higher priority IRQs. Are you doing that? Also, see this response - Understanding priority levels of ISR and FreeRTOS APIs - #16 by aggarg
Are you writing a new port? Which hardware is it?
But you are not supposed to call any FreeRTOS API from higher priority IRQs. Are you doing that? Also, see this response - Understanding priority levels of ISR and FreeRTOS APIs - #16 by aggarg
Are you writing a new port? Which hardware is it?