diff --git a/include/kernel.h b/include/kernel.h
index 5c5eb553fb94812d0463359659a0fb397d547581..a72e3890137a027fd1c8355d8aebe11a3f8c1bce 100644
--- a/include/kernel.h
+++ b/include/kernel.h
@@ -12,7 +12,7 @@ typedef struct kernel {
     // a structure for keeping the request currently being serviced, including its arguments.
     Request syscalReq;
     TD* Active;
-} KernelStruct;
+}KernelStruct;
 
 
 void kernelInit (KernelStruct* Colonel);
diff --git a/src/libsrc/scheduler.c b/src/libsrc/scheduler.c
index 3292f48ed6b15ff78e08b1f3200a87b8af22b93b..a16e4a02d2ac14e3837fdd7f3b6624f02ebbc496 100644
--- a/src/libsrc/scheduler.c
+++ b/src/libsrc/scheduler.c
@@ -1,2 +1,12 @@
 #include "scheduler.h"
 
+int schedulerInit() {
+} // add the IDLE task with lowest priority and first USER task maybe
+
+int pushToScheduler (KernelStruct* Colonel, TD* Task) {
+
+}
+
+TD* getNextTaskScheduler (KernelStruct* Colonel) {
+    
+}