1. ce01e4e KVM: arm-vgic: Set base addr through device API by Christoffer Dall · 11 years ago
  2. 9b2d2e0 ARM: KVM: vgic: Bump VGIC_NR_IRQS to 256 by Christoffer Dall · 11 years ago
  3. 5ae7f87 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq by Anup Patel · 12 years ago
  4. 7275acd ARM: KVM: move GIC/timer code to a common location by Marc Zyngier · 12 years ago