SDIO Interface for SDCard

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