1. 1f85008 arm64: enable generic clockevent broadcast by Lorenzo Pieralisi · 11 years ago
  2. e851b58 arm64: Use irqchip_init() for interrupt controller initialisation by Catalin Marinas · 12 years ago
  3. 08e875c arm64: SMP support by Catalin Marinas · 13 years ago
  4. fb9bd7d6 arm64: IRQ handling by Marc Zyngier · 13 years ago