Kernel start error

["alayrac" <christophe.alayrac@cresitt.com>]

Hi all.

I'am coming to you looking for some experience with HydraXC-50
(Virtex4FX12, Proc PPC405) to try to figure out some boot sequence
error.

On that platform there is an Atmega8L that load FPGA bitstream through
JTAG chain. The Loader V1.1 code is in FPGA internal BRAM so that after
FPGA initialisation the PPC405 start execution from that memory.

This loader start properly, read the kernel image.bin from SDCARD and
try to start the kernel at is start address, in my case 0x400000.

In the loader the last point is
    print("\n\rStarting image from Memory\n\r");
    jump();	

with jump function
   void jump() {
	cmdline[0]='\0';
	xil_printf("mem_start %08X\r\n",mem_start);
	kernel_start = (void_fn)mem_start;
	kernel_start(cmdline);
   }

The loader hangs up after the messages : 
	Starting image from Memory
	mem_start 00400000

If I download the kernel image (zImage.elf) using JTAG emulator under
Xilinx XMD shell, with commands
	dow zImage.elf
	con
then the kernel start properly.

I did not succeed to understand why the loader start procedure hangs up.

Thank in advance for any help.

Chris