Hi Adam,

Thanks for your reply.

After I change the memory to 1023, it runs but stops at
###
Timer for CPU0 is at IRQ 28
Calibrating timer loop...
###

By the way, how to turn on the module loading information during booting?
The latest snapshot and svn only prints message starting from "Hello from Startup::stage2"
### Start cur ###
Exynos4412 # run fiasco
Partition1: Start Address(0x1000), Size(0x32000)
reading bootstrap.raw

803080 bytes read
Boot with zImage

Starting kernel ...

Hello from Startup::stage2
Number of IRQs available at this GIC: 160
FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
Watchdog initialized
SERIAL ESC: allocated IRQ 305 for serial uart
Not using serial hack in slow timer handler.
Welcome to Fiasco.OC (arm)!
L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: rUnversioned director compiled with gcc 4.5.2 for Samsung Exynos    []
Build: #22  17:15:49 CST 2013

Timer for CPU0 is at IRQ 28
Calibrating timer loop... 
### End ###

Thanks,
Chao-Jui


2013/5/12 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
Hi,

On Tue May 07, 2013 at 17:51:42 +0800, Chao-Jui Chang wrote:
> Is trustzone working on exynos 4412 platform?

It is generally supposed to work but this also depends on the particular
board/system due to board configs etc.

> I have selected the follow item in Fiasco config menu:
>  * Platform Timer (Multi-core timer)
>  * Use ExtGic
>  * Execution Model (TrustZone normal side)
>
> But it stop at early stage.
> Same result for Execution Model (Standard mode).
> but no message for Execution Model (TrustZone secure side).

One reason could be the configured amount of memory, is it 1023 or 1024MB?

> If the trustzone is disabled in u-boot, the 'Standard mode' works fine.

That could also indicate that.

>
Adam
--
Adam                 adam@os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers