sorry, I have followed this:

http://sourceforge.net/p/genode/mailman/message/32421676/

http://sourceforge.net/p/genode/mailman/genode-main/thread/9167aa55bacd5e3f00e64168280aef3e%40lcc.uma.es/#msg31683911

Have got the uImage file generated:

tool/build_hw_imx53/var/run>tree
.
└── tz_vmm
    ├── boot_modules.s
    ├── image.elf
    └── uImage


but problem is after "sudo dd if=./uImage of=/dev/mmcblk0 bs=1M" onto my sdcard (/dev/mmcblk0) it seemed to bootup with any boot prompts on the console interface.

Help?

--
Regards,
Peter Teoh