* Fix IceCube CLKIN configuration (it's 33.000000MHz)
[kernel/u-boot.git] / board / ixdp425 /
drwxr-xr-x   ..
-rw-r--r-- 1340 Makefile
-rw-r--r-- 47 config.mk
-rw-r--r-- 9773 flash.c
-rw-r--r-- 1982 ixdp425.c
-rw-r--r-- 1388 u-boot.lds