From 427859818c9d10cbf38b24cda2c3f6e63fd0a8bf Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 3 Jul 2024 19:31:30 +0200
Subject: [PATCH] Disable SMP

The IPI extension is being used to multiplex IPI interruptions and we
don't need it as we only have one CPU.
---
 lagarto-ox.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 95c43f2..18b024b 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -63,7 +63,10 @@
           WQ_WATCHDOG y
           WQ_CPU_INTENSIVE_REPORT y
         ''
-        # RISCV_ISA_ZICBOM n
+        # Disable SMP so we don't have IPI
+        + ''
+          SMP n
+        ''
         ;
       }
     ];