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