-
由 Marc Zyngier 提交于
Add support for the A15 generic timer and clocksource. As the timer generates interrupts on a different PPI depending on the execution mode (normal or secure), it is possible to register two different PPIs. Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>
022c03a2