Dear Genodians,
We would like to introduce an i2c driver for imx8q_evk to Genode. Thanks to the hints from Sebastian, I now have a prototype component that can send/receive data via the i2c bus of the imx8q_evk. The next task is to design the RPC interface for the driver.
What would be a good kind of interface? Do you have driver(s)/component(s) to recommend as example? Or any specific guidelines?
Cheers,
Jean-Adrien Domage Software Engineer gapfruit AG