ARM: KVM: Add VGIC configuration option
authorMarc Zyngier <marc.zyngier@arm.com>
Tue, 22 Jan 2013 00:36:16 +0000 (19:36 -0500)
committerMarc Zyngier <marc.zyngier@arm.com>
Mon, 11 Feb 2013 19:00:15 +0000 (19:00 +0000)
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>

No differences found