Unable to boot linux on Xilinx ML403 board

[Peter Ryser]

>avail ram:     00770000 08000000
>  
>

The ML403 only has 64 MB of RAM, ie. 0x04000000. For a start you can 
change the amount of memory Linux thinks it has available by adding
    mem=0x4000000
to the kernel command line like
    Linux/PPC load: console=tty1 console=ttyS0,9600 ip=off root=/dev/ram 
rw mem=0x4000000

Later, you want to change xparameters*.h in arch/ppc/platforms/xilinx_ocp

- Peter