From 504c4aca3cc4be04acaf6fd429d4f60c99615c88 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 5 Jul 2024 12:56:33 +0200
Subject: [PATCH] Make the counter silent by spawning another shell

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

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 1eddbdc..0a96131 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -86,7 +86,7 @@
       #   -l 4 /dev/qdma34000-MM-1; sleep 0.2; done
       preDeviceCommands = ''
         echo "Creating a heartbeat counter at 0x1bfff0000"
-        hb=0; while [ 1 ]; do let hb=$hb+1; devmem 0x1bfff0000 32 $hb; done &
+        sh -c 'hb=0; while [ 1 ]; do let hb=$hb+1; devmem 0x1bfff0000 32 $hb; done' &
       '';
     };