Add taps for pipes.
authorRonald G. Minnich <rminnich@gmail.com>
Tue, 5 Jan 2016 01:31:35 +0000 (17:31 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Jan 2016 21:04:46 +0000 (16:04 -0500)
commit6ae8195b99f28d2f2735dcde2a723a4bde3142ef
tree10452a5d6219f7f1bef6f9372a98b0d83521f171
parent3aa8b49a8a45114f812cb195243d05c88c53e966
Add taps for pipes.

Almost certainly wrong!

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
[minor fixes, almost certainly right!]
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/pipe.c