Microbit.Time resets the board

[szucsi23]

Hey there!
I'm trying to use ADL on a Micro:Bit v1 board, with no luck so far.
My issue is: If I flash anything that includes Microbit.Time, the board will get stuck in a reset loop.

I managed to narrow down the issue to 1kHz timer in the Init function.
Whenever the timer reaches the Compare value, and the interrupt happens, the board resets itself.
If I increase the Compare time, the board will reset later.

(additional info: I can flash and run the example code in GNAT studio, but if I include Microbit.Time, the same reset happens)

Any ideas what the core issue might be, and how I could solve it?
Thanks in advance!