1. d50676f irqchip/gic-v4.1: Add VSGI property setup by Marc Zyngier · 4 years, 10 months ago
  2. 6d31b6f irqchip/gic-v4.1: Add VSGI allocation/teardown by Marc Zyngier · 4 years, 10 months ago
  3. ae699ad irqchip/gic-v4.1: Move doorbell management to the GICv4 abstraction layer by Marc Zyngier · 4 years, 10 months ago
  4. 166cba7 irqchip/gic-v4.1: Plumb skeletal VSGI irqchip by Marc Zyngier · 4 years, 10 months ago
  5. 8e01d9a KVM: arm64: vgic-v4: Move the GICv4 residency flow to be driven by vcpu_load/put by Marc Zyngier · 5 years ago
  6. caab277 treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 234 by Thomas Gleixner · 6 years ago
  7. 90dc712 irqchip/gic-v4: Clear IRQ_DISABLE_UNLAZY again if mapping fails by Marc Zyngier · 7 years ago
  8. 6c09ffd irqchip/gic-v4: Fix building with ancient gcc by Arnd Bergmann · 7 years ago
  9. 3d63cb5 irqchip/gic-v4: Enable low-level GICv4 operations by Marc Zyngier · 8 years ago
  10. 7954907 irqchip/gic-v4: Add some basic documentation by Marc Zyngier · 8 years ago
  11. f2eac75 irqchip/gic-v4: Add VLPI configuration interface by Marc Zyngier · 8 years ago
  12. eab8431 irqchip/gic-v4: Add VPE command interface by Marc Zyngier · 8 years ago
  13. 7de5c0a irqchip/gic-v4: Add per-VM VPE domain creation by Marc Zyngier · 8 years ago