Problem running the demo

[Christian Helmuth]

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