powerpc/85xx: Add support for 4th PCI controller on corenet_ds
[platform/kernel/u-boot.git] / board / sc3 /
drwxr-xr-x   ..
-rw-r--r-- 1460 Makefile
-rw-r--r-- 882 config.mk
-rw-r--r-- 11471 init.S
-rw-r--r-- 23071 sc3.c
-rw-r--r-- 3536 sc3.h
-rw-r--r-- 2634 sc3nand.c
-rw-r--r-- 3788 u-boot.lds