SDIO Interface for SDCard

[George J. <geo...@gm...>]

Hi,
I was trying to understand the sdio interfacing. Then I looked into the
sdcard driver written for imx6. I was able to successfully built and run it
on the platform.

When I looked deeper into the code I see the sd host controller interface
is written part of sd card driver. I  was confused ,shouldn't the sdio
driver including the DMA support  be a independent service than coupled
with a user space sd card service?
 Since sdio can be used for interfacing other modules like
wireless,audio,etc, I believe it should be part of the core modules.
I may be wrong about this.

I would like to do the whole the sdio interfacing in Genode.More help will
be appriciated. :)

Thanks for the help
Regards
George
+91-7674068356