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