Disable SMP

The IPI extension is being used to multiplex IPI interruptions and we don't need it as we only have one CPU.
2024-07-03 19:31:30 +02:00 · 2024-07-03 19:31:30 +02:00 · 427859818c
commit 427859818c
parent 4461686e80
1 changed files with 4 additions and 1 deletions
--- 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
+        ''
        ;
      }
    ];