fixed kernel.h struct def

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);

src/libsrc/scheduler.c

 #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) {
+    
+}