Add putbuf().
[pintos-anon] / src / lib / kernel / console.c
2004-09-20 Ben PfaffAdd putbuf().
2004-09-13 Ben PfaffNeeds #include <console.h>.
2004-09-11 Ben PfaffDo console locking.