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