Re: Fiasco.OC with ARM TrustZone
Chao-Jui Chang <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAM=iH4oit+6SSFE3-rSUY+iJKZRaQs7FsVF3siGWnPQsNGneOA@mail.gmail.com> |
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 <[email protected]> > 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 [email protected] > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > _______________________________________________ > l4-hackers mailing list > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers