More verbose multicore debugging
authorAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 2 Nov 2009 10:39:03 +0000 (02:39 -0800)
committerAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 2 Nov 2009 10:39:03 +0000 (02:39 -0800)
commit139c457ea3c2b8d27df2c1922aa1469d52859cad
treef211f67b6a72e73342548fe92bb148ace18f5438
parent4757bcbd8b74c459b56cc8fcce9db2896f9a932b
More verbose multicore debugging

We print out the pid for which a core has been started.
kern/src/process.c