For manager_waterman, just run busybox
authorAndrew Waterman <waterman@cs.berkeley.edu>
Mon, 7 Jan 2013 03:37:10 +0000 (19:37 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Mon, 7 Jan 2013 03:37:10 +0000 (19:37 -0800)
kern/src/manager.c

index f5a28e0..422a77f 100644 (file)
@@ -233,8 +233,10 @@ void manager_klueska()
 
 void manager_waterman()
 {
-       schedule();
-       monitor(0);
+       static bool first = true;
+       if (first)
+               mon_bb(0, 0, 0);
+       smp_idle();
        assert(0);
 }