From e922e976e5b865f8469e2107e90bb629d76acc3e Mon Sep 17 00:00:00 2001
From: Mikael Voss <mvs@nyantec.com>
Date: Wed, 28 Aug 2024 15:16:59 +0200
Subject: [PATCH] linux: Correct scheduler option selection

---
 package/linux-hardened/config.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/package/linux-hardened/config.nix b/package/linux-hardened/config.nix
index f6be423..df2f63a 100644
--- a/package/linux-hardened/config.nix
+++ b/package/linux-hardened/config.nix
@@ -263,9 +263,10 @@
     SMP = true;
     PREEMPT_DYNAMIC = false;
 
-    SCHED_CORE = true;
-    SCHED_CLUSTER = true;
     SCHED_MC = true;
+    SCHED_CLUSTER = true;
+    SCHED_SMT = option true;
+    SCHED_CORE = option true;
     SCHED_AUTOGROUP = true;
 
     RCU_NOCB_CPU_DEFAULT_ALL = true;