Ksched functions to provision cores
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 26 Apr 2012 20:48:01 +0000 (13:48 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:55 +0000 (14:43 -0700)
commitf46818faa333a27ebf6501423496587f24a0c280
tree5e92633cffc9fa8c685155f334e69859abdf3776
parentc772e1527d48196ea0a8985f2f954df2e6093590
Ksched functions to provision cores

You can provision cores, and this code will track where each core is
provisioned and/or allocated to.  The scheduler does nothing with this
info yet.

Also some CG/LL changes - notably we don't reserve a core for the NIC
anymore, and if you use any of the other antiquated core reservation
CONFIGs, something will break when you provision that core.  That'll get
sorted out eventually.
kern/include/schedule.h
kern/src/schedule.c