diff options
| author | Justin M. Forbes <jforbes@redhat.com> | 2013-07-11 16:08:40 -0500 |
|---|---|---|
| committer | Justin M. Forbes <jforbes@redhat.com> | 2013-07-11 16:08:40 -0500 |
| commit | 9c63d892b79f4cd8be0857fe7151faff165a7e29 (patch) | |
| tree | 4d2821d15adb2ac73048aef346389616bfb714e5 /config-arm64 | |
| parent | bc78224ff82aa095231fc8c2b14ea29c18bc7b4d (diff) | |
| download | kernel-9c63d892b79f4cd8be0857fe7151faff165a7e29.tar.gz kernel-9c63d892b79f4cd8be0857fe7151faff165a7e29.tar.xz kernel-9c63d892b79f4cd8be0857fe7151faff165a7e29.zip | |
Linux v3.10-9080-g19d2f8e
Diffstat (limited to 'config-arm64')
| -rw-r--r-- | config-arm64 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config-arm64 b/config-arm64 index 142a64ad..eaefec84 100644 --- a/config-arm64 +++ b/config-arm64 @@ -240,6 +240,7 @@ CONFIG_IRQCHIP=y CONFIG_IRQ_DOMAIN=y CONFIG_IRQ_WORK=y # CONFIG_JBD2_DEBUG is not set +# CONFIG_KVM is not set CONFIG_LEDS_LP55XX_COMMON=m CONFIG_LOCKDEP_SUPPORT=y CONFIG_LOCKD=y @@ -465,6 +466,7 @@ CONFIG_VIDEO_V4L2=m CONFIG_VIRTIO_BLK=y CONFIG_VIRTIO_MMIO=y CONFIG_VIRTIO=y +CONFIG_VIRTUALIZATION=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_WEXT_CORE=y CONFIG_WEXT_PROC=y |