SD card driver for Freescale i.MX6 in Genode

[Praveen B]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150319/8258e91b/attachment.html>