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@...9...] 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...mailto: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.netmailto:Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main