Update debian-stretch.config

[kconfig-hardened-check.git] / config_files / distros / debian-stretch.config

diff --git a/config_files/distros/debian-stretch.config b/config_files/distros/debian-stretch.config
index aa7b3e8732396467605a96a7b1302bb6655f5aee..171537ff80a5b016d3be8b8124da1ccef9426734 100644 (file)
--- a/config_files/distros/debian-stretch.config
+++ b/config_files/distros/debian-stretch.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.88 Kernel Configuration
+# Linux/x86 4.9.168 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -245,6 +245,7 @@ CONFIG_SLAB_FREELIST_RANDOM=y
 CONFIG_PROFILING=y
 CONFIG_TRACEPOINTS=y
 CONFIG_KEXEC_CORE=y
+CONFIG_HOTPLUG_SMT=y
 CONFIG_OPROFILE=m
 # CONFIG_OPROFILE_EVENT_MULTIPLEX is not set
 CONFIG_HAVE_OPROFILE=y