X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=config_files%2Fdistros%2Fdebian-stretch.config;h=171537ff80a5b016d3be8b8124da1ccef9426734;hb=ad807007d50e9505ac0839437036c4c03009ad74;hp=aa7b3e8732396467605a96a7b1302bb6655f5aee;hpb=2194bb1cbb9a5e0026777d32d93bdb4d90152da3;p=kconfig-hardened-check.git

diff --git a/config_files/distros/debian-stretch.config b/config_files/distros/debian-stretch.config
index aa7b3e8..171537f 100644
--- 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