Dear all,

We have developed a Genode device driver for USDHC card reader for Freescale i.MX6 procesor.

You may find the corresponding code in the repository, https://github.com/srinivasprv/genode 

The specific driver code is available in usdhc directory of sd_card directory.

We have tested the driver with L4Linux. The test procedure was done by copying and moving files, as large as 1GB, multiple times across different partitions of SD card.

The expected behavior and actual behavior matched in all cases.

Request you to review the code and offer comments. We would also like to know if this can be integrated into the next version of Genode release. 

Look forward to your review comments.

Regards

Praveen Srinivas

IIT Madras