diff --git a/epicardium/support.c b/epicardium/support.c
index a4af99db481fc0530545832221af9a99fb90bc64..a757db6d3a91f88e5a77fe86d6081b001adcf86e 100644
--- a/epicardium/support.c
+++ b/epicardium/support.c
@@ -27,9 +27,11 @@ void pre_idle_sleep(TickType_t xExpectedIdleTime)
 		 * TODO: Ensure this is actually correct and does not have any
 		 * race conditions.
 		 */
-		__asm volatile("dsb" ::: "memory");
-		__asm volatile("wfe");
-		__asm volatile("isb");
+		if ((CoreDebug->DHCSR & CoreDebug_DHCSR_C_DEBUGEN_Msk == 0)) {
+			__asm volatile("dsb" ::: "memory");
+			__asm volatile("wfe");
+			__asm volatile("isb");
+		}
 	}
 }