Our Linux kernel was referenced the OMAP3EVM.
Dirver referenced at ./drivers/mmc/host/omap_hsmmc.c
This device driver ported for SD and MMC, but we are no used that.
If you will use the Micro SD, how about modify the driver.
I know that the driver interfaced on twl4030, referenced interrupt source.
please let me your advice.
Thanks.