Hi Adam,
Could you let me know how to check it and what to printf ?
Thanks, Chao-Jui
2013/6/10 Adam Lackorzynski adam@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@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