IPC: Inform the scheduler the process is waiting for a IPC message

1 files changed, 6 insertions, 0 deletions

diff --git a/kernel/sched/scheduler.c b/kernel/sched/scheduler.c
index e34e7a7..949cdf2 100644
--- a/kernel/sched/scheduler.c
+++ b/kernel/sched/scheduler.c
@@ -373,6 +373,12 @@ int is_halted(process_t *process) {
     }
   }
 
+  if (process->is_halted) {
+    if (ipc_has_data(process)) {
+      return 0;
+    }
+  }
+
   if (isset_fdhalt(process)) {
     return 1;
   }