Date: Tue, 13 Apr 2004 14:56:16 +0200 From: Hanno <jab@cs.sun.ac.za> To: freebsd-questions@FreeBSD.org Subject: 4.4BSD-Lite source code Message-ID: <1081860976.23335.16.camel@poulenc.cs.sun.ac.za>
next in thread | raw e-mail | index | archive | help
Hi, I=C2=B4m currently using the book by Gary R. Wright and W Richard Steve= ns =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. Thanx. Hanno
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1081860976.23335.16.camel>