On 4 July 2013 13:02, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > Finally plug KVM/arm64 into the config system, making it possible > to enable KVM support on AArch64 CPUs. > > +config KVM > + bool "Kernel-based Virtual Machine (KVM) support" > + select MMU_NOTIFIER > + select PREEMPT_NOTIFIERS > + select ANON_INODES > + select KVM_MMIO > + select KVM_ARM_HOST > + select KVM_ARM_VGIC > + select KVM_ARM_TIMER > + ---help--- > + Support hosting virtualized guest machines. > + > + This module provides access to the hardware capabilities through > + a character device node named /dev/kvm. "This module" ? I didn't think we supported KVM-as-a-module on ARM... > + > + If unsure, say N. > + > +config KVM_ARM_HOST > + bool > + ---help--- > + Provides host support for ARM processors. > + > +config KVM_ARM_VGIC > + bool > + depends on KVM_ARM_HOST && OF > + select HAVE_KVM_IRQCHIP > + ---help--- > + Adds support for a hardware assisted, in-kernel GIC emulation. > + > +config KVM_ARM_TIMER > + bool > + depends on KVM_ARM_VGIC > + ---help--- > + Adds support for the Architected Timers in virtual machines Trailing '.' would be consistent with the other config options. thanks -- PMM -- 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