Develop Trustzone support for imx6

[Martin Stein]

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