Resolved! STM32MP1 interrupt causes undefined exception in ARM mode (but works in thumb)
I modified an FSBL example to get to the root of the problem (everything else being as in the example). volatile int rrr = 0; void SGI0_IRQHandler(void) { while (1) { rrr++; }; } int main() { HAL_Init(); SystemClock_Config(); ...