From e371f6af60e406a157724140ad968ef7c5036b60 Mon Sep 17 00:00:00 2001
From: graham sanderson <graham.sanderson@raspberrypi.com>
Date: Wed, 24 Feb 2021 17:46:38 -0600
Subject: [PATCH] remove useless PICO_ALLOW_SLEED_IN_EXCEPTION

---
 src/common/pico_time/time.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/common/pico_time/time.c b/src/common/pico_time/time.c
index 33e66a4..2105214 100644
--- a/src/common/pico_time/time.c
+++ b/src/common/pico_time/time.c
@@ -325,9 +325,9 @@ static int64_t sev_callback(__unused alarm_id_t id, __unused void *user_data) {
 #endif
 
 void sleep_until(absolute_time_t t) {
-#if PICO_ON_DEVICE && !PICO_ALLOW_SLEEP_IN_EXCEPTION && !defined(NDEBUG)
+#if PICO_ON_DEVICE && !defined(NDEBUG)
     if (__get_current_exception()) {
-        panic("Attempted to sleep inside of an exception handler");
+        panic("Attempted to sleep inside of an exception handler; use busy_wait if you must");
     }
 #endif
 #if !PICO_TIME_DEFAULT_ALARM_POOL_DISABLED