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