Documents from Peter Sewell on TCP stack...
gnn at neville-neil.com
Sat Oct 10 15:27:50 UTC 2015
These are a bit long but this is the work that Peter (who I think is now
on this list) and his group
did in 2005 on the FreeBSD TCP stack.
Much of the overview material including the "Quick Introduction" which I
recommend you read first,
is here http://www.cl.cam.ac.uk/~pes20/Netsem/index.html
More information about the freebsd-transport