powerpc/mpc85xx/p1_p2_rdb_pc: new SPL support
[oweals/u-boot.git] / board / freescale / mx31pdk /
drwxr-xr-x   ..
-rw-r--r-- 1433 Makefile
-rw-r--r-- 101 config.mk
-rw-r--r-- 3296 lowlevel_init.S
-rw-r--r-- 2804 mx31pdk.c