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