CMSIS-RTOS2 freezes on external interrupt
Hi,
I'm trying to use an interrupt with CMSIS_RTOS2. The user button is configured to use as an interrupt source:

When I push the button, the system freezes. I suspect the interrupt flag doesn't get cleared but I have no idea why.

There is nothing (yet) in the callback function:

This works fine in normal working mode but it freezes when I'm working in CMSIS-RTOS2. I have no idea why this happens.
I'm working on a 32F746GDISCOVERY board.

