From b4eaecfd3e5c3354984652dc0485532081524411 Mon Sep 17 00:00:00 2001
From: Matthias Kruk <m@m10k.eu>
Date: Mon, 10 Feb 2020 19:47:05 +0900
Subject: [PATCH] kernel/core: Initialize the scheduler at boot time

---
 kernel/core/main.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/kernel/core/main.c b/kernel/core/main.c
index aaf0fef..675cc1e 100644
--- a/kernel/core/main.c
+++ b/kernel/core/main.c
@@ -25,10 +25,11 @@
 #include <sys/socket.h>
 #include <crxstd.h>
 #include <unistd.h>
+#include <sched.h>
 
 void cpu_debug(void);
 int arch_init(void*);
-void sched_tick(void);
+int sched_init(void);
 
 extern void io_main(void);
 extern void _stdio(void);
@@ -194,6 +195,12 @@ int corax(void *mb_info, u32_t magic)
 	}
 #endif
 
+	err = sched_init();
+
+	if(err < 0) {
+		PANIC("Failed to initialize scheduler\n");
+	}
+
 /*
 	for(ptr = (void*)0x9fc00; ptr < (void*)0x9fffc; ptr++) {
 		if(*(u32_t*)ptr == 0x5f504d5f) {
-- 
2.47.3