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