implement stdout with cputbuf instead of printk
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 18 May 2012 23:51:38 +0000 (16:51 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 18 May 2012 23:51:38 +0000 (16:51 -0700)
commit41ae95b56bcf292ee271119c8a36076b2e5e5a32
tree0fe16a934bca0b98e07baf39483ed3715cb91957
parent607cf0420d37e18fda5c4eb4a1bd83a403e53ef1
implement stdout with cputbuf instead of printk

This improves stdout bandwidth.  (Yes, it matters to us :-))
kern/src/devfs.c