On Wed, Jan 9, 2013 at 8:28 AM, Sergei Shtylyov <sshtylyov@xxxxxxxxxx> wrote: > Hello. > > > On 08-01-2013 22:42, Christoffer Dall wrote: > >> From: Marc Zyngier <marc.zyngier@xxxxxxx> > > >> It is now possible to select the VGIC configuration option. > > >> Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> >> Signed-off-by: Christoffer Dall <c.dall@xxxxxxxxxxxxxxxxxxxxxx> >> --- >> arch/arm/kvm/Kconfig | 8 ++++++++ >> 1 file changed, 8 insertions(+) > > >> diff --git a/arch/arm/kvm/Kconfig b/arch/arm/kvm/Kconfig >> index 05227cb..d32e33f 100644 >> --- a/arch/arm/kvm/Kconfig >> +++ b/arch/arm/kvm/Kconfig >> @@ -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" > > > Please indent with tab, as below. > > fixed both, thanks. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html