vmm: Refactor vmm_ctl to use error()
[akaros.git] / kern / src / manager.c
index fe442ad..9004b21 100644 (file)
@@ -23,7 +23,6 @@
 #include <stdio.h>
 #include <time.h>
 #include <monitor.h>
-#include <colored_caches.h>
 #include <string.h>
 #include <pmap.h>
 #include <arch/console.h>
@@ -272,7 +271,7 @@ void manager_waterman()
 {
        static bool first = true;
        if (first)
-               mon_bb(0, 0, 0);
+               mon_shell(0, 0, 0);
        smp_idle();
        assert(0);
 }