Hi, I´m currently using the book by Gary R. Wright and W Richard Stevens ¨TCP/IP Illustrated Volume 2¨, 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 _______________________________________________ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to "[EMAIL PROTECTED]"