Thank you for your interest Aditya,

We have mixed two configurations. The one found in the following git repository for i.MX6 and the configuration of i.MX53 for TrustZone.

https://github.com/decaprox/genode/tree/i.mx6

We have probably missed something but we have no idea of what it is ??


regards,
Antoine



From: Aditya Kousik [adit267.kousik@...204.....]
Sent: Thursday, April 03, 2014 4:22 PM
To: Genode OS Framework Mailing List
Subject: Re: porting from i.MX53 to i.MX6

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