From: Loïc <4661917+HacKurx@users.noreply.github.com>
Date: Sun, 12 May 2019 09:46:53 +0000 (+0200)
Subject: Update debian-stretch.config
X-Git-Tag: v0.5.2~28^2~4
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=62441bcdd92bb2bd6947a49d8ae7ab76fbac76d5;p=kconfig-hardened-check.git

Update debian-stretch.config

config check is finished: 'OK' - 42 / 'FAIL' - 61
---

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