Kernel now halts when there is no work
authorBarret Rhoden <brho@cs.berkeley.edu>
Sat, 24 Mar 2012 01:39:30 +0000 (18:39 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 24 Mar 2012 01:39:30 +0000 (18:39 -0700)
commit6525d2eece3c92498430ab64b2eaec9a2fa1b585
tree145ccad4ce116521e82e270cc6b0a62d462a2fdf
parenta68c5d481306d1fbac3e36af49464877e026d8a2
Kernel now halts when there is no work

We had been polling in a variety of places.  This takes away the last
one: spinning in the manager().  Now, the manager doesn't get called
much (it gets called once, and that should be it).

Note that we still poll in the monitor(), which you can always get to
via 'G' (the call of the giraffe).  (so long as interrupts are enabled,
you're not stuck in a loop, etc).
kern/src/manager.c
kern/src/schedule.c