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?