esdhc: Workaround for card can't be detected on T4240QDS
[platform/kernel/u-boot.git] / board / ppmc7xx /
drwxr-xr-x   ..
-rw-r--r-- 174 Makefile
-rw-r--r-- 12016 flash.c
-rw-r--r-- 9913 init.S
-rw-r--r-- 1843 pci.c
-rw-r--r-- 2269 ppmc7xx.c