Use write() in parlib/debug.c
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 23 Mar 2016 22:05:51 +0000 (18:05 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 31 Mar 2016 20:53:42 +0000 (16:53 -0400)
commit76014d8dd946ae3e8b1e95817251c43bdb6bda7b
tree99a0cb6632327f66435565ec5c873d02ccaa1964
parent2dcbc7cc401c0f04540a965a0e68e61dc2fd885c
Use write() in parlib/debug.c

This is the printf that gets called from vcore context.  We want those
prints to go to wherever stdout is, instead of always to the kernel
directly.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/debug.c