M src/kernel/sched/sched.c → src/kernel/sched/sched.c

@@ -241,7 +241,7 @@ if (pid < 0) { return; }
 
     while (1) {
         PROCESS *p = get_process(pid);
-        if (p->state == PSTATE_TERMINATED) { break; }
+        if (p == NULL || p->state == PSTATE_TERMINATED) { break; }
 
         sched_yield();    
     }