sorry, I have followed this:
http://sourceforge.net/p/genode/mailman/message/32421676/
http://sourceforge.net/p/genode/mailman/genode-main/thread/9167aa55bacd5e3f0...
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?