kernel/scheduler/scheduler.cpp

@@ -122,6 +122,7 @@ void yield(void) {
 
     if (next == cur) return;  // only one task, nothing to do
 
+    if (cur->state != TASK_STATE_TERMINATED)
         cur->state = TASK_STATE_READY;
     next->state = TASK_STATE_RUNNING;
     g_current = next;