Update x86 configs for the latest 4.4 and 4.9

[kernel-configs.git] / 4.4 / x86-32-pae

diff --git a/4.4/x86-32-pae b/4.4/x86-32-pae
index 798508c350cc41161b8b552e70a291a3c5896761..315e61378fc39be0b097b885a4feb63ffa41f549 100644 (file)
--- a/4.4/x86-32-pae
+++ b/4.4/x86-32-pae
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/i386 4.4.198-gnu Kernel Configuration
+# Linux/i386 4.4.202-gnu Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -566,6 +566,9 @@ CONFIG_ARCH_USES_PG_UNCACHED=y
 CONFIG_ARCH_RANDOM=y
 CONFIG_X86_SMAP=y
 CONFIG_X86_INTEL_MPX=y
+CONFIG_X86_INTEL_TSX_MODE_OFF=y
+# CONFIG_X86_INTEL_TSX_MODE_ON is not set
+# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set
 CONFIG_EFI=y
 CONFIG_EFI_STUB=y
 CONFIG_SECCOMP=y