> 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?