NRF5340 WFI causes Systick to stop?

I am using FreeRTOS on the NRF5340-DK. When I use WFI (wait for interrupt) in the idle-hook, the processor stop forever (or when we attach a JTAG,

that causes interrupts, so it continues). The Systick is configured to give interrupts, but this process seems to stop. From the ARM documentation, you can configure (in SYST_CST) the source of the Systick clock to Processor/External. Whenever I set the clock source to external (it is changed by (by the hardware?) to Processor. It should be possible to configure just the Systick to generate interrupts to wake up again right?

Related