Capturing IRQ 63 & 64 under MicroPython

[mchobby]

Hi there,
By using mem32[] from MicroPython I have been able to set the iMX RT tempmon (temperature monitor) alarms values and to schedule frequency for the automatic temperature capture.
When alarm threshold is reached, the iMX RT does raise an IRQ 63 (or 64 depending on the condition).
I would like to capture such IRQ in MicroPython... but cannot figure how to do it (I mean "without recompiling MicroPython").
Would this be possible?
Cheers,
Dominique