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? ------------------------------------------------------------------------------ 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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
