ARM: KVM: Add VGIC configuration option



It is now possible to select the VGIC configuration option.

Reviewed-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>

parent 01ac5e34

arch/arm/kvm/Kconfig

+8 −0

Original line number	Diff line number	Diff line
		@@ -51,6 +51,14 @@ config KVM_ARM_MAX_VCPUS
		large, so only choose a reasonable number that you expect to
		actually use.

		config KVM_ARM_VGIC
		bool "KVM support for Virtual GIC"
		depends on KVM_ARM_HOST && OF
		select HAVE_KVM_IRQCHIP
		default y
		---help---
		Adds support for a hardware assisted, in-kernel GIC emulation.

		source drivers/virtio/Kconfig

		endif # VIRTUALIZATION