Made a global num_mgmtcores variable
[akaros.git] / README