85xx: print boot header info to distinquish 36-bit addr map on MPC8572 DS
[platform/kernel/u-boot.git] / board / xilinx /
drwxr-xr-x   ..
drwxr-xr-x - common
drwxr-xr-x - microblaze-generic
drwxr-xr-x - ml300
drwxr-xr-x - ml507
drwxr-xr-x - ppc405-generic
drwxr-xr-x - ppc440-generic
drwxr-xr-x - xilinx_enet
drwxr-xr-x - xilinx_iic