Update debian-stretch.config
authorLoïc <4661917+HacKurx@users.noreply.github.com>
Sun, 12 May 2019 09:46:53 +0000 (11:46 +0200)
committerGitHub <noreply@github.com>
Sun, 12 May 2019 09:46:53 +0000 (11:46 +0200)
config check is finished: 'OK' - 42 / 'FAIL' - 61

config_files/distros/debian-stretch.config

index aa7b3e8732396467605a96a7b1302bb6655f5aee..171537ff80a5b016d3be8b8124da1ccef9426734 100644 (file)
@@ -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