Made a global num_mgmtcores variable
authorKevin Klues <klueska@parcad.millennium.berkeley.edu>
Fri, 23 Apr 2010 23:43:18 +0000 (16:43 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:44 +0000 (17:35 -0700)
commitc76695f7e0244127eccf62c0877f4b09e8b427a2
treec43dccb39545b50d49a933690487111c533fc931
parent8f2d565d304b05dd61d39ccf4232360f9b3e89c8
Made a global num_mgmtcores variable

Replaces the local num_reserved variable in proc_init()
so that it can be used in other functions throughout the file.

Also added a __CONFIG_OSDI__ variable for hacky stuff
related to our upcoming OSDI submission.  Need to think
more about how to fix this properly... The problem is
that the code below this hack is the 'proper' solution,
but our kernel level scheduler currently can't properly
handle processes in the manycore state.
Makeconfig
kern/src/process.c