Hi there, We don't have GPMI driver unfortunately. You'll have to write one from scratch. I suggest you doing the CAmkES timer tutorial[1] first, to get an idea of how to gain access of the device memory and IRQ from seL4. Then, read the i.MX7 processor reference manual[2] (chapter 9.6) to understand how GPMI controller works. You could simply modify the .camkes file in the timer tutorial to have something to start with. You could also use the U-boot driver[3] as a reference. Regards, Siwei [1]. https://docs.sel4.systems/Tutorials/hello-camkes-timer.html [2]. https://www.nxp.com/products/processors-and-microcontrollers/arm-processors/... [3]. https://gitlab.denx.de/u-boot/u-boot/-/blob/master/drivers/mtd/nand/raw/mxs_... ________________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of mrshafiei@aut.ac.ir <mrshafiei@aut.ac.ir> Sent: Thursday, 10 September 2020 9:32 PM To: devel@sel4.systems Subject: [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. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel