Develop Trustzone support for imx6

[thong]

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.