Devices¶
- ARM Virtual Interrupt Translation Service (ITS)
- ARM Virtual Generic Interrupt Controller v2 (VGIC)
- ARM Virtual Generic Interrupt Controller v3 and later (VGICv3)
- MPIC interrupt controller
- FLIC (floating interrupt controller)
- Generic vcpu interface
- VFIO virtual device
- Generic vm interface
- XICS interrupt controller
- POWER9 eXternal Interrupt Virtualization Engine (XIVE Gen1)