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

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to