Re: Fiasco.OC with ARM TrustZone

Adam Lackorzynski <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
Hi,

On Wed Jun 05, 2013 at 17:23:30 +0800, Chao-Jui Chang wrote:
> After I change the memory to 1023, it runs but stops at
> ###
> Timer for CPU0 is at IRQ 28
> Calibrating timer loop...

Stopping there typically means that the timer isn't ticking.
Looking at your output below, I wondering if you really have selected
extgic mode, as the UART irq should be different in that case. On the
other side it should not make a difference.
 
> By the way, how to turn on the module loading information during booting?

Probably wrong UART selected in bootstrap. Check
l4/pkg/bootstrap/server/src/platform/exynos.cc and set uart_nr to 1.

> 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)!


Adam
-- 
Adam                 [email protected]
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.