Ksched is interrupt driven
[akaros.git] / kern / src / manager.c
index 32d9aa5..04304b4 100644 (file)
@@ -26,7 +26,6 @@
 #include <kfs.h>
 #include <stdio.h>
 #include <time.h>
-#include <resource.h>
 #include <monitor.h>
 #include <colored_caches.h>
 #include <string.h>
@@ -125,7 +124,6 @@ void manager_brho(void)
                        monitor(0);
                }
                process_routine_kmsg(0);
-               schedule();
                /* would like to idle here, but without reset stacks, people will run
                 * off the kstack.  so just idle if we have an owning proc (which we
                 * should then 'restart'). */