Solved
I’m using a ST32F429Idisc and freeRTOS via the CMSIS wrapper. I’m writing and application that uses 3 timer and a counting semaphore. But the kernel crashes. It works only if using only two timers and the semaphore. there is a way to solve this issue
..
