...

diff --git a/arduino/hardware/ace/avr/cores/avr/kernel.cpp b/arduino/hardware/ace/avr/cores/avr/kernel.cpp
index 95495ee5a201bae1c9034739432caf8a04018ff0..08744363df96c168bb84961e1a9a542343abe9b9 100644 (file)
--- a/arduino/hardware/ace/avr/cores/avr/kernel.cpp
+++ b/arduino/hardware/ace/avr/cores/avr/kernel.cpp
@@ -47,10 +47,8 @@ void idle_task() {
 
 void task_delay(uint16_t ticks)
 {
-    cli();
     current_task->state = TASK_STATE_SLEEP;
     current_task->delay_ticks = ticks;
-    sei();
     task_scheduler();
 }