mx51evk: Use GPIO API for configuring the IOMUX
[platform/kernel/u-boot.git] / board / rbc823 /
drwxr-xr-x   ..
-rw-r--r-- 1368 Makefile
-rw-r--r-- 10611 flash.c
-rw-r--r-- 6185 kbd.c
-rw-r--r-- 7854 rbc823.c
-rw-r--r-- 2554 u-boot.lds