4.4BSD-Lite source code

Hanno jab at cs.sun.ac.za
Tue Apr 13 05:55:15 PDT 2004

Hi, I=C2=B4m currently using the book by Gary R. Wright and W Richard Steve=
=C2=A8TCP/IP Illustrated Volume 2=C2=A8, which uses the 4.4BSD-Lite source =
code as
example. My question : Up to which version of FreeBSD is the 4.4BSD-Lite
code used ? Has it changed much and if so is the source code for older
version of FreeBSD and/or the code for 4.4BSD-Lite still available for
download somewhere ?

I am doing a MSc computer science project (Stellenbosch University,
South Africa) and want to generate the TCP protocol from a verified SPIN
model automatically.

Any help will we greatly appreciated.

More information about the freebsd-questions mailing list