SD card driver for Freescale i.MX6 in Genode

Praveen B srinivasprv at ...9...
Thu Mar 19 15:43:10 CET 2015

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,

The specific driver code is available in usdhc directory of sd_card

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.

Praveen Srinivas
IIT Madras
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list