I'm trying to debug the M4-Core from the IMX7Dual with OpenOCD. I found a target .cfg file which works for me. (GitHub - sysgo-maw/openocd-imx7)
Maybe there is also an official config file?
However, the debugging is quite limited, so is there any chance to get the SVD files for iMX7Dual?