From 17d8e3c41b2f31eb0f9fe3d10a4d84717ddf8ceb Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 4 Oct 2024 09:03:09 +0200
Subject: [PATCH] Enable mmiotrace

---
 lagarto-ox.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index bf8bca6..ae1c560 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -145,6 +145,7 @@
           TRACING y
           BOOTTIME_TRACING y
           STRICT_DEVMEM n
+          MMIOTRACE y
         ''
         # Disable SMP so we don't have IPI
         + ''