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