kernel: Update to 3.13.2.

[ipfire-3.x.git] / kernel / config-x86_64-default

diff --git a/kernel/config-x86_64-default b/kernel/config-x86_64-default
index 44109275f7347975de7ed1f3cf4172869fdfa718..5df966d682f0e3cdb545c32c3ce83c82104900aa 100644 (file)
--- a/kernel/config-x86_64-default
+++ b/kernel/config-x86_64-default
@@ -35,6 +35,7 @@ CONFIG_CONTEXT_TRACKING=y
 CONFIG_RCU_USER_QS=y
 CONFIG_CONTEXT_TRACKING_FORCE=y
 CONFIG_RCU_FANOUT=64
+CONFIG_ARCH_SUPPORTS_INT128=y
 # CONFIG_NUMA_BALANCING is not set
 
 #
@@ -90,9 +91,7 @@ CONFIG_USE_PERCPU_NUMA_NODE_ID=y
 #
 # Power management and ACPI options
 #
-CONFIG_ARCH_HIBERNATION_HEADER=y
 CONFIG_ACPI_NUMA=y
-CONFIG_ACPI_BLACKLIST_YEAR=0
 
 #
 # Memory power savings
@@ -130,6 +129,11 @@ CONFIG_COMPAT_NETLINK_MESSAGES=y
 #
 CONFIG_BPF_JIT=y
 
+#
+# Protocols
+#
+CONFIG_BLK_DEV_SKD=m
+
 #
 # Misc devices
 #
@@ -137,6 +141,16 @@ CONFIG_BPF_JIT=y
 CONFIG_SGI_IOC4=m
 # CONFIG_CS5535_MFGPT is not set
 
+#
+# Intel MIC Host Driver
+#
+# CONFIG_INTEL_MIC_HOST is not set
+
+#
+# Intel MIC Card Driver
+#
+# CONFIG_INTEL_MIC_CARD is not set
+
 #
 # SCSI Transports
 #
@@ -151,11 +165,6 @@ CONFIG_SCSI_FLASHPOINT=y
 # CONFIG_I2C_SIS5595 is not set
 # CONFIG_I2C_SIS630 is not set
 
-#
-# PCI GPIO expanders:
-#
-CONFIG_GPIO_LANGWELL=y
-
 #
 # Media digital TV PCI Adapters
 #
@@ -241,4 +250,3 @@ CONFIG_CRYPTO_TWOFISH_AVX_X86_64=m
 # Library routines
 #
 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
-CONFIG_CMPXCHG_LOCKREF=y