[seL4] imx gmpi nand controller for use nand flash

hi. Is there any GPMI NAND Flash driver example on camkes? i'm worked on imx7d for my university project but i didn't find any example for use NAND Flash and use it for store data. can you help me? i can port any other gpmi driver to imx7 but is there exists ? can someone help me? -- This email was Anti Virus checked by Security Gateway.