powerpc/t1023rdb: change default core frequency to 1200MHz
[oweals/u-boot.git] / board / xilinx /
drwxr-xr-x   ..
drwxr-xr-x - microblaze-generic
drwxr-xr-x - ml507
drwxr-xr-x - ppc405-generic
drwxr-xr-x - ppc440-generic
drwxr-xr-x - zynq
drwxr-xr-x - zynqmp