Run the kernel monitor on the proper core
authorKevin Klues <klueska@ros-dev.(none)>
Wed, 14 Apr 2010 04:50:42 +0000 (21:50 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:42 +0000 (17:35 -0700)
commit71b41882563fb53293c08ba0a3ec9e3ff7b41ded
tree7d4aaae67f28239f706d6d3230ce65f56b4c23bd
parent2246a833d2ec31dd320305ed99078b11cad0419e
Run the kernel monitor on the proper core

Since we introduced the CONFIG option to run a core dedicated
to the kernel monitor, we need to make sure that is the only one
that prints to the terminal controlled by the kernel.
kern/src/init.c