Hello Praveen,

> 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.

thank you for sharing your work with us! Your patch looks very nice.
Coincidentally, we just added an SD-card driver for the i.MX53 platform
last week. See the following commit referenced at the following issue:

  https://github.com/genodelabs/genode/issues/1458

Whereas the i.MX53 driver addresses the so-called ESDHC controller, your
patch addresses the USDHC controller. Are both drivers complementary?

On another note, the mainline Genode version does not officially support
i.MX6 yet. So I am afraid that including your driver without prior
enabling i.MX6 would not be very sensible. As a precondition, we should
enable at least one i.MX6-based platform (e.g., Wandboard?). Otherwise,
we would not able to add your driver to our regular test infrastructure.
What do you think about how to go about it?

Best regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the 
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to