From dd41d64dc607cf26f0f956d203aa2c77aebfc7ef Mon Sep 17 00:00:00 2001
From: Josh Stewart <josh@noisymime.org>
Date: Tue, 9 Jul 2024 12:31:31 +1000
Subject: [PATCH] Fix for potential double interrupt on Teensy 4.1 PIT timers

---
 speeduino/board_teensy41.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/speeduino/board_teensy41.cpp b/speeduino/board_teensy41.cpp
index 919186b8..2d4b3fd6 100644
--- a/speeduino/board_teensy41.cpp
+++ b/speeduino/board_teensy41.cpp
@@ -224,6 +224,7 @@ void PIT_isr()
   else if(interrupt2) { PIT_TFLG1 = 1; boostInterrupt(); }
   else if(interrupt3) { PIT_TFLG2 = 1; vvtInterrupt();   }
   else if(interrupt4) { PIT_TFLG3 = 1; oneMSInterval();  }
+  asm volatile ("dsb") ;
 }
 
 void TMR1_isr(void)