Andre Przywara 43d2781c27 arm: use new irqchip parameter to create different vGIC types ...

Currently we unconditionally create a virtual GICv2 in the guest.
Add a --irqchip= parameter to let the user specify a different GIC
type for the guest, when omitting this parameter it still defaults to
--irqchip=gicv2.
For now the only other supported type is --irqchip=gicv3

Signed-off-by: Andre Przywara <andre.przywara@arm.com>
[will: use pr_err instead of fprintf]
Signed-off-by: Will Deacon <will.deacon@arm.com>

2015-07-08 17:41:00 +01:00

..

aarch32

arm: prepare for instantiating different IRQ chip devices

2015-07-08 17:39:32 +01:00

aarch64

arm: use new irqchip parameter to create different vGIC types

2015-07-08 17:41:00 +01:00

include/arm-common

arm: use new irqchip parameter to create different vGIC types

2015-07-08 17:41:00 +01:00

fdt.c

kvmtool: ARM: allow level interrupts in device tree

2015-06-01 16:39:55 +01:00

gic.c

arm: use new irqchip parameter to create different vGIC types

2015-07-08 17:41:00 +01:00

ioport.c

kvm tools: irq: make irq__alloc_line generic

2015-06-01 16:39:55 +01:00

irq.c

kvm tools: irq: make irq__alloc_line generic

2015-06-01 16:39:55 +01:00

kvm-cpu.c

arm: simplify MMIO dispatching

2015-07-08 17:39:32 +01:00

kvm.c

arm: use new irqchip parameter to create different vGIC types

2015-07-08 17:41:00 +01:00

pci.c

kvmtool: replace GIC specific IRQ type #defines

2015-06-01 16:39:55 +01:00

timer.c

kvmtool: replace GIC specific IRQ type #defines

2015-06-01 16:39:55 +01:00