Hello Thong,

It seems, you are trying to run i.mx53 image on the i.mx6 board if that is the case it will not work. To run the printf script over the imx6 platform you should try out the latest master branch of Genode on git hub that have the imx6 support without trustzone.
https://github.com/genodelabs/genode

For the TrustZone support on imx6 SABRE Lite board our team is also working at IIT Madras , As of now we are able to run Genode(secure world) beside Genode(normal world) so you can take a look at IIT Madras repository as the initial starting point.

Genode as secure world : https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support
In the hw_sabrelite_tz_support branch tz_vmm_mx6 will work as tz_vmm 

Genode as normal world : https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_normal_os
Switch application in the hw_sabrelite_tz_normal_os branch will serve you as a linux (for normal world) kernel image in tz_vmm.


Regards

Chirag Garg
IIT Madras , Rise Lab

On Tue, Apr 21, 2015 at 8:20 AM, thong <thong@...323...> wrote:
Hi all,
I am a newbie in embedded linux system, and my team is starting to
integrate our biometric identification solution into the board
i.MX6Q-SABRESD using Secure OS on Trustzone. After take a research
around, I decide to try start with Genode on imx53_tablet_demo at
https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/imx53/README.
I tried to modify base-hw/src/core/kernel/kernel.cc to add a code line
PDBG("Hello\n") at the beginning of main routine void kernel() and
expected to receive a "Hello" message on my Serial Terminal. I followed
the instructions in README and be success to build the Genode with
command line:
RUN_OPT="--target uboot" make run/printf
I use pre-built u-boot-mx6dl-sabresd.bin from Freescale.
When I try to boot my Genode build in var/run/printf/ it just stopped at
"Starting kernel..." message:

U-Boot 2009.08 (Aug 16 2013 - 12:04:20)

CPU: Freescale i.MX6 family TO1.2 at 792 MHz
Thermal sensor with ratio = 187
Temperature:   48 C, calibration data 0x59e4ff7d
mx6q pll1: 792MHz
mx6q pll2: 528MHz
mx6q pll3: 480MHz
mx6q pll8: 50MHz
ipg clock     : 66000000Hz
ipg per clock : 66000000Hz
uart clock    : 80000000Hz
cspi clock    : 60000000Hz
ahb clock     : 132000000Hz
axi clock   : 264000000Hz
emi_slow clock: 132000000Hz
ddr clock     : 528000000Hz
usdhc1 clock  : 198000000Hz
usdhc2 clock  : 198000000Hz
usdhc3 clock  : 198000000Hz
usdhc4 clock  : 198000000Hz
nfc clock     : 24000000Hz
Board: i.MX6Q-SABRESD: unknown-board Board: 0x63012 [POR ]
Boot Device: SD
I2C:   ready
DRAM:   1 GB
MMC:   FSL_USDHC: 0,FSL_USDHC: 1,FSL_USDHC: 2,FSL_USDHC: 3
In:    serial
Out:   serial
Err:   serial
i2c: I2C3 SDA is low, start i2c recovery...
I2C3 Recovery success
Found PFUZE100! deviceid=10,revid=11
Net:   got MAC address from IIM: 00:04:9f:02:e0:39
FEC0 [PRIME]
Hit any key to stop autoboot:  0
MX6Q SABRESD U-Boot > fatload mmc 2:1 0x20000000 uImage_imx6_tz
reading uImage_imx6_tz

359877 bytes read
MX6Q SABRESD U-Boot > bootm 20000000
## Booting kernel from Legacy Image at 20000000 ...
    Image Name:
    Image Type:   ARM Linux Kernel Image (gzip compressed)
    Data Size:    359813 Bytes = 351.4 kB
    Load Address: 10001000
    Entry Point:  10001000
    Verifying Checksum ... OK
    Uncompressing Kernel Image ... OK

Starting kernel ...

I highly appreciate any respond to help me on this.
Thank you very much in advance.
--Thong Nguyen.

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main