#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.12.53 Kernel Configuration
+# Linux/x86 3.12.57 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_INIT_ENV_ARG_LIMIT=32
CONFIG_CROSS_COMPILE=""
# CONFIG_COMPILE_TEST is not set
-CONFIG_LOCALVERSION="-60.30-default"
+CONFIG_LOCALVERSION="-60.35-default"
# CONFIG_LOCALVERSION_AUTO is not set
CONFIG_HAVE_KERNEL_GZIP=y
CONFIG_HAVE_KERNEL_BZIP2=y
CONFIG_PCI_PASID=y
CONFIG_PCI_IOAPIC=y
CONFIG_PCI_LABEL=y
+CONFIG_PCI_HYPERV=m
#
# PCI host controller drivers