diff options
| -rw-r--r-- | src/sched.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sched.c b/src/sched.c index f278c426..248d3c68 100644 --- a/src/sched.c +++ b/src/sched.c @@ -282,6 +282,7 @@ sched_clear_shutdown(void) static void run_shutdown(int reason) { + irq_disable(); uint32_t cur = timer_read_time(); if (!shutdown_status) shutdown_reason = reason; @@ -334,9 +335,11 @@ sched_main(void) sendf("starting"); + irq_disable(); int ret = setjmp(shutdown_jmp); if (ret) run_shutdown(ret); + irq_enable(); run_tasks(); } |