João,
On Thu, Sep 10, 2015 at 08:04:18PM +0100, João Rocheteau Ramos wrote:
I do plan to work with the TrustZone and ultimately run code in a secure world. Currently I use the i.MX53 QSB connected to my laptop via and USB <->RS232 adapter, for debug. So, in order to properly run Genode on the board as host is it enough to proceed with building the toolchain with the board as the target? If I were to use a PC , with Linux, as host, how would I then be able to bring the i.MX53 QSB into this?
Seems I confused you with my explanation esp. with the terms I used. If I'm writing about the *host* I'm referring to your development machine (laptop) which hosts the build system, the source code, etc. The *target* in your case is the i.MX53 QSB which will run Genode. As you're interested in TrustZone I assume you will run Genode/base-hw, i.e., hw_imx53_qsb_tz, and not Genode/Linux. The getting started only covers Genode/Linux which you may try first on your laptop with linux_x86. In this case host and target melt into the same machine.
The common development cycle with separate target hardware (i.MX53 QSB) is to edit the sources and build bootable images on your host. Then, the image must be transferred to the target, e.g., by writing an SD card. Then, you boot the target and examine the log output on the USB-RS232 adapter.
Please also have a look at repos/base-hw/doc/hw.txt in the Genode sources. If it comes to the preparation of the bootable SD card for i.MX53 I don't feel prepared enough to guide you. Maybe one of the more experienced ARM developers can help out in this regard.
Does this clarify your question?
Regards