modified scheduler.h

include/scheduler.h

 #ifndef SCHEDULER_H
 #define SCHEDULER_H
 
-int schedulerInit(); // add the IDLE task with lowest priority and first USER task maybe
+int schedulerInit(KernelStruct* Colonel); 
 
 int pushToScheduler (KernelStruct* Colonel, TD* Task);
 

include/syscall-handler.h

@@ -11,7 +11,7 @@ typedef enum syscall {
 
 void handlerCreate (TD* Active);
 
-int syscallHandler (KernelStruct* Colonel, TD* Active);
+int syscallHandler (KernelStruct* Colonel);
 
 #endif