I have a problem with a project based on an STM32L051. I want to use the stop mode and wake up on an external (GPIO based) IRQ. This all works great but after the MCU woke up, no other IRQs seem to work. I have a very simple IRQ handler which just outputs some debug info for now. Naturally I do hal-initialize again after I woke up. Also the whole thing works when I use stand-by mode instead of stop mode. I tried to enable the related IRQ via HAL_NVIC_EnableIRQ(EXTI0_1_IRQn); explicitly but it did not help. Any idea what could be missing?