Removes option for a dedicated monitor core
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 May 2012 18:34:39 +0000 (11:34 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:56 +0000 (14:43 -0700)
commit04a1a13e5b7ad3895c07d934cd296f77fb8a2074
tree4f60ba14480a80bef6184e3b8215f888774ee863
parenta541d31b9c8ab9a8f22a71a5d66460ab440cade0
Removes option for a dedicated monitor core

This was an old option that only made sense when we couldn't get to the
monitor by interrupt.
Makeconfig
Makelocal.template
kern/src/schedule.c