diff --git a/epicardium/support.c b/epicardium/support.c
index a4af99db481fc0530545832221af9a99fb90bc64..90e14efae767c0a752639c2c757fd97b880cbded 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");
+		}
 	}
 }