diff options
| -rw-r--r-- | ports/rp2/pendsv.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/rp2/pendsv.c b/ports/rp2/pendsv.c index 05b521fde..a3a855b8d 100644 --- a/ports/rp2/pendsv.c +++ b/ports/rp2/pendsv.c @@ -180,5 +180,7 @@ void PendSV_Handler(void) { #if MICROPY_PY_THREAD mp_thread_recursive_mutex_unlock(&pendsv_mutex); + // Check if a dispatch occurred while the interrupt was being serviced + pendsv_resume_run_dispatch(); #endif } |