Fiasco.OC with ARM TrustZone

[Chao-Jui Chang]

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 at 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 at os.inf.tu-dresden.de
>   Lackorzynski         http://os.inf.tu-dresden.de/~adam/
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130605/584c6c97/attachment.htm>