Hi Christian,

Yes, the host machine is the Freescale i.MX53 QSB.

The build target is linux_x86, just like it is mentioned in the 'getting_started.txt' contained in the genode directory.

Hm, how can I make this work with the board?

From reading http://genode.org/documentation/articles/trustzone I thought that this board was ideal to use with Genode.

> Date: Thu, 10 Sep 2015 20:12:51 +0200
> From: christian.helmuth@...1...
> To: genode-main@lists.sourceforge.net
> Subject: Re: Problem running the demo
>
> Hello João,
>
> On Thu, Sep 10, 2015 at 06:13:31PM +0100, João Rocheteau Ramos wrote:
> > Build on i.MX53 QSB? I didn't understand.
>
> I was referring to the following sentence in your last email
>
> > I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided
> > by Freescale.
>
> To make myself clear I'll try to rephrase what I wrote before: Which
> is the host machine your running the Ubuntu demo image, Genode build
> system resp. tool_chain script on? Is it the mentioned Freescale
> i.MX53 QSB or a x86-PC?
>
> Additionally, what is the build target you're using in the 'build.lx'
> directory? Is it perhaps linux_arm or linux_x86?
>
> The background of my questions is that I doubt you'll succeed building
> the tool chain on the QSB because of its limited resources.
> Unfortunately, it's also not possible to use our provided tool-chain
> archive on the i.MX as it works on x86_32/x86_64 only.
>
> Greets
> --
> 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
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main