feat(kernel{sched/hal}): int 3 if something is wrong in `sched_jump_to_task`

why:

 - After the image's entry is done, and no exit is called.

also:

 - Added sched_idle_task to CPS's API.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 2 insertions, 0 deletions

diff --git a/dev/kernel/KernelKit/CoreProcessScheduler.h b/dev/kernel/KernelKit/CoreProcessScheduler.h
index 6cb17261..6ac55424 100644
--- a/dev/kernel/KernelKit/CoreProcessScheduler.h
+++ b/dev/kernel/KernelKit/CoreProcessScheduler.h
@@ -19,6 +19,8 @@
 
 #define kSchedNameLen (128U)
 
+EXTERN_C void sched_idle_task(void);
+
 namespace Kernel {
 class USER_PROCESS;
 class KERNEL_TASK;