f0fad1590b
-move the per-cpu initialization of the gic and cortex-a9 timer into an init hook. This removes the hard coded call in arm/arch.c -make sure the timer initialization happens in the pre-threading callback, in case a secondary init hook needs the timer.
lk
The LK embedded kernel