tree 37dc846588aab87d69ce32d8021224a58906f7fd
parent 01ac5e342f3b87a9b83b991230d96c22c4167ec9
author Marc Zyngier <marc.zyngier@arm.com> 1358814976 -0500
committer Marc Zyngier <marc.zyngier@arm.com> 1360609215 +0000

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>