João, I fear that's a misconception...
On Thu, Sep 10, 2015 at 07:22:18PM +0100, João Rocheteau Ramos wrote: > From reading http://genode.org/documentation/articles/trustzone I > thought that this board was ideal to use with Genode. This article describes the i.MX53 as a perfect *target* platform esp. if you plan to investigate TrustZone. Most of our development happens on ordinary PCs (i.e., Lenovo Thinkpads) as a host. Therefore, I mistakenly guided you to build the tool chain on your own. So, if you're addressing the i.MX53 as a target use hw_imx53_qsb like in ./tool/create_builddir hw_imx53_qsb or ./tool/create_builddir hw_imx53_qsb_tz but use a PC with Linux OS as host. The getting started tutorial tries to simplify the first steps with Genode by using the 'linux_x86' target, which means: Build Genode for the Linux installation on this *x86* host. We also have a 'linux_arm' target for ARM based hosts. Unfortunately, the build targets do not check if you're really running Linux on x86 resp. ARM. So, before you try to run Genode on the i.MX target you may try it out on a x86 PC with Linux OS following the getting started tutorial. Sorry it took my several mails until the penny dropped ;-) Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
