kernel: Update to version 4.1.3

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

diff --git a/kernel/config-i686-default b/kernel/config-i686-default
index 6224d7094d9190d8acc7d84be350ef2c1f976204..e35bd6d313d5d1bcfd5e3caf6423edcec6a02f5f 100644 (file)
--- a/kernel/config-i686-default
+++ b/kernel/config-i686-default
@@ -2,10 +2,9 @@
 CONFIG_X86_32=y
 CONFIG_OUTPUT_FORMAT="elf32-i386"
 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
-# CONFIG_ZONE_DMA32 is not set
-# CONFIG_AUDIT_ARCH is not set
 CONFIG_X86_32_SMP=y
 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
+CONFIG_PGTABLE_LEVELS=3
 
 #
 # Timers subsystem
@@ -41,6 +40,8 @@ CONFIG_LBDAF=y
 #
 CONFIG_X86_BIGSMP=y
 # CONFIG_X86_INTEL_MID is not set
+CONFIG_X86_INTEL_QUARK=y
+CONFIG_IOSF_MBI=y
 # CONFIG_X86_RDC321X is not set
 CONFIG_X86_32_NON_STANDARD=y
 # CONFIG_STA2X11 is not set
@@ -217,6 +218,7 @@ CONFIG_I2C_SIS630=m
 #
 # I2C system bus drivers (mostly embedded / system-on-chip)
 #
+CONFIG_I2C_DESIGNWARE_BAYTRAIL=y
 # CONFIG_I2C_EG20T is not set
 
 #
@@ -230,9 +232,13 @@ CONFIG_SCx200_ACB=m
 CONFIG_PTP_1588_CLOCK_PCH=m
 
 #
-# PCI GPIO expanders:
+# MFD GPIO expanders
 #
 # CONFIG_GPIO_CS5535 is not set
+
+#
+# PCI GPIO expanders
+#
 # CONFIG_GPIO_PCH is not set
 
 #
@@ -305,6 +311,7 @@ CONFIG_PCH_DMA=m
 # Android
 #
 CONFIG_TC1100_WMI=m
+CONFIG_INTEL_IMR=y
 
 #
 # Clock Source drivers
@@ -316,6 +323,11 @@ CONFIG_CLKSRC_I8253=y
 #
 # CONFIG_DEBUG_HIGHMEM is not set
 
+#
+# Runtime Testing
+#
+# CONFIG_DEBUG_IMR_SELFTEST is not set
+
 #
 # Grsecurity
 #