Fiasco.OC with ARM TrustZone

[Chao-Jui Chang]

Hi Adam,

Could you let me know how to check it and what to printf ?

Thanks,
Chao-Jui


2013/6/10 Adam Lackorzynski <adam at os.inf.tu-dresden.de>

> > Timer for CPU0 is at IRQ 28
> > Calibrating timer loop...
>
> So timer not working or something with interrupts not working.
> Could you check whether the mct is working ok, e.g. by adding a few
> relevant printfs?
>
> > Here is "TrustZone secure side"
> > ### Cut start ###
> > Hello from Startup::stage2
> >
> > Number of IRQs available at this GIC: 160
> > GIC: Switching IRQ 32 to secure
> > GIC: Switching IRQ 33 to secure
> ...
> > ### End ###
> > It stop here.
> >
> > Any idea?
>
> I'm wondering why so many IRQs are allocated so early in boot-up?
>
>
>
> 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/20130610/ba9d4543/attachment.html>