This is the fast path code. Just run the fastpath script and you can build a 
kernel and test it out. We provide a port/devpipe.c modified for fastpath
writes.