Booting a Xilinx board

[Guillaume Dargaud]

Hello all,
sorry if this is an elementary question for most of you, but could you tell 
me where I'm going wrong in trying to boot a kernel 2.6.24 on a Xilinx ml405 
board ?

- I generate an ext2 partition with buildroot, cointaining busybox and 
uclibc.

- I copy it to my CF card:
sudo dd if=binaries/genepy/rootfs.test.ext2 of=/dev/sdc2

- I compile the git Xilinx kernel, with proper xparameters file from the BSP 
and proper .config options to match the design, using the cross compiler 
created by buildroot.

- I generate a sysace file from that kernel and put it on the 1st partition:
xmd -tcl genace.tcl -jprog -board ml405 -target ppc_hw -hw 
implementation/system.bit -elf 
~/kernels/linux-2.6.24/arch/ppc/boot/images/zImage.elf -ace Kernel26.ace

When I boot I get the following:

loaded at:     00400000 0050719C
board data at: 00505120 0050519C
relocated to:  00404054 004040D0
zimage at:     00404E40 0050484E
avail ram:     00508000 08000000

Linux/PPC load: console=ttyS0,9600 ip=on root=/dev/sysace/disc0/part2 rw
Uncompressing Linux...done.
Now booting the kernel

And then it stops.
I'm sure I've overlooked something obvious...
Thanks
-- 
Guillaume Dargaud
http://www.gdargaud.net/