Run the kernel monitor on the proper core
[akaros.git] / README