From 01847255f4191be30de4bc4f39225f71ed3f8173 Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Thu, 16 Aug 2018 00:41:30 +0100
Subject: [PATCH] linux (Generic): config options 4.18.1

---
 projects/Generic/linux/linux.x86_64.conf | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf
index f071ab9ac2..8952cd6707 100644
--- a/projects/Generic/linux/linux.x86_64.conf
+++ b/projects/Generic/linux/linux.x86_64.conf
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.18.0 Kernel Configuration
+# Linux/x86_64 4.18.1 Kernel Configuration
 #
 
 #
@@ -256,6 +256,7 @@ CONFIG_SLUB_CPU_PARTIAL=y
 CONFIG_SYSTEM_DATA_VERIFICATION=y
 # CONFIG_PROFILING is not set
 CONFIG_TRACEPOINTS=y
+CONFIG_HOTPLUG_SMT=y
 CONFIG_HAVE_OPROFILE=y
 CONFIG_OPROFILE_NMI_TIMER=y
 CONFIG_KPROBES=y