> You should have a look into the Pandaboard TRM and gather the right MMIO regions needed for MMC etc. Then connect those to the vbus for the L4Android kernel.

 I tried to do so, but L4Android recognizes only SDHCI. Maybe I still missed something.
Are there resources other than MMIO regions and IRQs that have to be configured for the I/O server?