GPIO interrupt in M7 iMX8MP

[escherstair]

I have an iMX8MP where I need to use both A53 running Linux and M7 running a RTOS.
A have a set of GPIO input pins, with interrupt enabled.
I need some of them in A53 (Linux), and some of them on M7.
I know that every GPIO bank has 2 interrupts (0-15 and 16-32 pins), but the pin flag allows me to know which is the pin that triggered the interrupt.
And so I know in advance if I need to handle it on A53 or on M7.

At the very beginning I planned to use FreeRTOS but I have issues with GPIO interrupts not fired, and so I'll looking to Zephyr (if this works).
In my FreeRTOS firmware GPIO interrupts are fired on M7 when A53 is halted, or it runs uboot.
When Linux is booted, no more GPIO interrupts are fired on M7.

I don't know why, but I wonder if Zephyr can work properly in this scenario.
Do I need some special dts on Linux side to work in this way?
Is this one nxp_imx8ml_m7.dtsi the proper dts for the M7 on iMX8MP? I see that the name is imx8ml?

Thanks