Hi Thong,
On 21.04.2015 12:57, thong wrote:
Is that my board MX6Q SABRESD differs from SABRELITE causing this? Please help me what I should do.
Of course, this might be a problem. I'd suggest you to check the UART and the RAM configuration of Genode. For Sabrelite, both can be found in [1]. Maybe you're simply listening at another UART port.
If you find differences, you should add a new platform 'hw_sabresd_tz'. What to do for that can be easily found by doing:
find $GENODE_DIR/repos/ $GENODE_DIR/tool/ -wholename *sabrelite* grep -ri "sabrelite" $GENODE_DIR/repos/ $GENODE_DIR/tool/
The new platform should make use of the less specific imx6 sources like it's done in the sabrelite sources.
Cheers, Martin
[1] $GENODE_DIR/repos/base/include/platform/sabrelite/drivers/board_base.h
Just notice you that 'sabrelite.bin' is binary format not u-boot image which I got from: //usr/local/genode-gcc/bin/genode-arm-objcopy -O binary var/run/tz_vmm_mx6/image.elf var/run/tz_vmm_mx6/sabrelite.bin/ So I think I should fatload 'sabrelite.bin' into 0x10001000 which is text address of the image then I can directly execute it at that address with 'go' command. Is that my understanding wrong?