porting from i.MX53 to i.MX6

[Stefan Kalkowski]

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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/