From e99c590cdaeb91eca388013573460ab3212bdbe5 Mon Sep 17 00:00:00 2001
From: Martin Brodbeck <martin@brodbeck-online.de>
Date: Fri, 16 Feb 2024 20:04:53 +0100
Subject: [PATCH] dbgpause not needed

---
 src/raspi_keyer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/raspi_keyer.cpp b/src/raspi_keyer.cpp
index 20538f0..5ca0a4d 100644
--- a/src/raspi_keyer.cpp
+++ b/src/raspi_keyer.cpp
@@ -89,7 +89,7 @@ void core1_main()
 
 int main()
 {
-    timer_hw->dbgpause = 1; // workaround for problem with debug and sleep_ms
+    //timer_hw->dbgpause = 2; // workaround for problem with debug and sleep_ms
                             // https://github.com/raspberrypi/pico-sdk/issues/1152#issuecomment-1418248639
 
     setup();