Hello,

I am trying to porte a system using a rich environment and a TEE from i.MX53 to i.MX6. This system uses genode and TrustZone. I think genode start well but it stops after the decompression of Linux.

I have tried different tricks found on the web but nothing works.

Can you help me ?

Thank you in advance,

Antoine

U-Boot 2009.08 (Mar 20 2014 - 10:49:44)

CPU: Freescale i.MX6 family TO1.2 at 792 MHz

Thermal sensor with ratio = 190

Temperature: 31 C, calibration data 0x5b55137d

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

Found PFUZE100! deviceid=10,revid=11

Net: got MAC address from IIM: 00:04:9f:02:b4:14

FEC0 [PRIME]

Hit any key to stop autoboot: 3 \0x08\0x08\0x08 2 \0x08\0x08\0x08 1 \0x08\0x08\0x08 0

mmc2 is current device

MMC read: dev # 2, block # 2048, count 9216 ... 9216 blocks read: OK

## Booting kernel from Legacy Image at 10800000 ...

Image Name:

Image Type: ARM Linux Kernel Image (gzip compressed)

Data Size: 4536855 Bytes = 4.3 MB

Load Address: 10001000

Entry Point: 10001000

Verifying Checksum ... OK

Uncompressing Kernel Image ... OK

Starting kernel ...

int main(): \0x1b[33m--- create local services ---\0x1b[0m

int main(): \0x1b[33m--- start init ---\0x1b[0m

int main(): \0x1b[33mtransferred 505 MB to init\0x1b[0m

int main(): \0x1b[33m--- init created, waiting for exit condition ---\0x1b[0m

[init] parent provides

[init] service "ROM"

[init] service "RAM"

[init] service "IRQ"

[init] service "IO_MEM"

[init] service "CAP"

[init] service "PD"

[init] service "RM"

[init] service "CPU"

[init] service "LOG"

[init] service "SIGNAL"

[init] service "VM"

[init] child "tz_vmm"

[init] RAM quota: 8126464

[init] ELF binary: tz_vmm

[init] priority: 0

[init -> tz_vmm] \0x1b[32mStart virtual machine ...\0x1b[0m

Uncompressing Linux... done, booting the kernel.

\0x00\0x00\0x00\0x00\0x00\0x00\0x00\0x00\0x00\0x00\0x00\0x00