X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=config_files%2Fdistros%2Fdebian-stretch.config;fp=config_files%2Fdistros%2Fdebian-stretch.config;h=171537ff80a5b016d3be8b8124da1ccef9426734;hb=62441bcdd92bb2bd6947a49d8ae7ab76fbac76d5;hp=aa7b3e8732396467605a96a7b1302bb6655f5aee;hpb=2c820e1e00a8d2b718515bc48655e2cade6e5065;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