Unfortunately, we do not have example code for a GPIO interrupt on the M7 of the verdin imx8, but maybe the links below will be helpful: