Parcourir la source

[Kernel] Fix a bug on rt_schedule().

armink il y a 7 ans
Parent
commit
7a99641c71
1 fichiers modifiés avec 5 ajouts et 0 suppressions
  1. 5 0
      src/scheduler.c

+ 5 - 0
src/scheduler.c

@@ -269,6 +269,11 @@ void rt_schedule(void)
             rt_hw_interrupt_enable(level);
         }
     }
+    else
+    {
+        /* enable interrupt */
+        rt_hw_interrupt_enable(level);
+    }
 }
 
 /*