From 101aa1b35290246d38ff081fd1be702e3d7b7a4e Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 30 Aug 2024 15:20:11 +0200
Subject: [PATCH] Don't print machine mode interrupts

Get are getting a lot of machine mode interrupts, which should be
delegated to supervisor directly. Disable them for now as otherwise they
will flood the log.
---
 lagarto-ox.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index ae7ffc4..3986687 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -344,7 +344,7 @@
         "FW_PAYLOAD_FDT_ADDR=0xc0000000"
       ];
       patches = [
-        ./opensbi-timer-debug.patch # Print calls to machine trap
+        #./opensbi-timer-debug.patch # Print calls to machine trap
         #./opensbi-enable-meip.patch
         #./opensbi-enable-seip.patch
         #./opensbi-test-plic.patch # Working delegation test, disabled for now