Hi Thong,
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?
Admittedly, I don't know if using a raw-binary-copied image of Genode triggers any problems. I always use the uImage [1].
Cheers, Martin
[1] $BUILD_DIR/var/run/$TARGET/uImage