From owner-freebsd-questions@FreeBSD.ORG  Tue Apr 13 05:55:15 2004
Return-Path: <owner-freebsd-questions@FreeBSD.ORG>
Delivered-To: freebsd-questions@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 4662616A4CE
	for <freebsd-questions@freebsd.org>;
	Tue, 13 Apr 2004 05:55:15 -0700 (PDT)
Received: from maties1.sun.ac.za (maties1.sun.ac.za [146.232.128.1])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 5992C43D46
	for <freebsd-questions@freebsd.org>;
	Tue, 13 Apr 2004 05:55:14 -0700 (PDT)
	(envelope-from jab@cs.sun.ac.za)
Received: from erwin.cs.sun.ac.za ([146.232.212.13])
	by maties1.sun.ac.za with esmtp (Exim 4.05)
	id 1BDNRX-00086t-00
	for freebsd-questions@freebsd.org; Tue, 13 Apr 2004 14:55:11 +0200
Received: from poulenc.cs.sun.ac.za ([146.232.212.135])
	by erwin.cs.sun.ac.za with esmtp (Exim 3.35 #1 (Debian))
	id 1BDNRX-0000rj-00
	for <freebsd-questions@FreeBSD.org>; Tue, 13 Apr 2004 14:55:11 +0200
From: Hanno <jab@cs.sun.ac.za>
To: freebsd-questions@FreeBSD.org
Content-Type: text/plain; charset=
Organization: University of Stellenbosch
Message-Id: <1081860976.23335.16.camel@poulenc.cs.sun.ac.za>
Mime-Version: 1.0
X-Mailer: Ximian Evolution 1.4.4-8mdk 
Date: Tue, 13 Apr 2004 14:56:16 +0200
Content-Transfer-Encoding: quoted-printable
X-Scanner: exiscan for exim4 (http://duncanthrax.net/exiscan/)
	*1BDNRX-00086t-00*O.mwhRf7l96*
Subject: 4.4BSD-Lite source code
X-BeenThere: freebsd-questions@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
Reply-To: jab@cs.sun.ac.za
List-Id: User questions <freebsd-questions.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>,
	<mailto:freebsd-questions-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-questions>
List-Post: <mailto:freebsd-questions@freebsd.org>
List-Help: <mailto:freebsd-questions-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>,
	<mailto:freebsd-questions-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 13 Apr 2004 12:55:15 -0000

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