diff --git a/kaleid/kernel/ps/sched.c b/kaleid/kernel/ps/sched.c
index 58da1dd..a671ba5 100644
--- a/kaleid/kernel/ps/sched.c
+++ b/kaleid/kernel/ps/sched.c
@@ -311,37 +311,6 @@ void PsInitSched(void)
     DebugLog("Scheduler initialized\n");
 }
 
-//
-// Shutdowns scheduler
-//
-void PsFiniSched(void)
-{
-    assert(IdlePrioProcs && ReglPrioProcs && ServPrioProcs && TimeCritProcs);
-
-    PsInitialized = false;
-
-    PsLockSched();
-
-    while (IdlePrioProcs->length > 0)
-        ExRemoveNode(IdlePrioProcs, IdlePrioProcs->first);
-
-    while (ReglPrioProcs->length > 0)
-        ExRemoveNode(ReglPrioProcs, ReglPrioProcs->first);
-
-    while (ServPrioProcs->length > 0)
-        ExRemoveNode(ServPrioProcs, ServPrioProcs->first);
-
-    while (TimeCritProcs->length > 0)
-        ExRemoveNode(TimeCritProcs, TimeCritProcs->first);
-
-    ExDestroyListHead(IdlePrioProcs); IdlePrioProcs = NULL;
-    ExDestroyListHead(ReglPrioProcs); ReglPrioProcs = NULL;
-    ExDestroyListHead(ServPrioProcs); ServPrioProcs = NULL;
-    ExDestroyListHead(TimeCritProcs); TimeCritProcs = NULL;
-
-    PsUnlockSched();
-}
-
 #define PrintProc(proc) KernLog("{ %d, '%s', %d , %lu}\n", (proc)->pid, \
    PsPrioClassesNames[(proc)->prioClass], (proc)->prioLevel, (proc)->timeSlice);
 //