Hello Antoine,

Interesting loading the kernel. We're also interested in TrustZone enabling for i.MX6. We're working out a VM solution for it. But, tell me this. Are you using the i.MX53 platform configuration and running it on an i.MX6? Because that won't work (as I learnt the hard way, thanks to Stefan's insight :P ).

Thanks and regards Aditya On 3 Apr 2014 19:45, "Monsifrot Antoine" <Antoine.Monsifrot@...241...> wrote:

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

---

---

Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hello Antoine,

On 04/03/2014 04:11 PM, Monsifrot Antoine wrote:

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.

The first question that arises: is the secure side still alive? Maybe you can execute another simple program on the secure side, e.g. test-printf, or you instrument the kernel's scheduling with a printf, just to check whether it returns from the normal world. If not, I would check whether the timer the kernel uses for scheduling works accordingly. On the other hand, if you return from the normal world, you've to examine, what's going on in the normal world. A good way to check, how far you can execute the Linux kernel on the normal side, is by instrumenting the Linux kernel's code with 'smc' assembler instructions. Each 'smc' instruction will enter the VMM in Genode, which will print the current normal world's register set.

I hope this will help you to find the root cause of your current problem.

Regards Stefan

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

---

---

Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main