From 81dc694a235a096fb22a1f288e0e29fea85e7639 Mon Sep 17 00:00:00 2001
From: kamkow1 <kamkow256@gmail.com>
Date: Fri, 19 Sep 2025 23:48:30 +0200
Subject: [PATCH] schedrelease() don't schedule if current interrupt frame is
 NULL

---
 kernel/syscall/sched.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/kernel/syscall/sched.c b/kernel/syscall/sched.c
index c6db1ab..44260e6 100644
--- a/kernel/syscall/sched.c
+++ b/kernel/syscall/sched.c
@@ -11,7 +11,9 @@ int32_t SYSCALL0(sys_schedrelease) {
   Proc *proc = PROCS.current;
   spinlock_release(&PROCS.spinlock);
 
-  proc_sched((void *)INTR_CURRENT_FRAME);
+  if (INTR_CURRENT_FRAME != NULL) {
+    proc_sched((void *)INTR_CURRENT_FRAME);
+  }
 
   return E_OK;
 }