From owner-cvs-src@FreeBSD.ORG  Sun Jul 27 22:45:30 2003
Return-Path: <owner-cvs-src@FreeBSD.ORG>
Delivered-To: cvs-src@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 6069637B401
	for <cvs-src@freebsd.org>; Sun, 27 Jul 2003 22:45:30 -0700 (PDT)
Received: from web13403.mail.yahoo.com (web13403.mail.yahoo.com
	[216.136.175.61])
	by mx1.FreeBSD.org (Postfix) with SMTP id DF74343FA3
	for <cvs-src@freebsd.org>; Sun, 27 Jul 2003 22:45:29 -0700 (PDT)
	(envelope-from giffunip@yahoo.com)
Message-ID: <20030728054529.7099.qmail@web13403.mail.yahoo.com>
Received: from [200.91.194.208] by web13403.mail.yahoo.com via HTTP;
	Mon, 28 Jul 2003 06:45:29 BST
Date: Mon, 28 Jul 2003 06:45:29 +0100 (BST)
From: "=?iso-8859-1?q?Pedro=20F.=20Giffuni?=" <giffunip@yahoo.com>
To: cvs-src@freebsd.org
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c
	subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c
	vfs_subr.c
X-BeenThere: cvs-src@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: CVS commit messages for the src tree <cvs-src.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-src>
List-Post: <mailto:cvs-src@freebsd.org>
List-Help: <mailto:cvs-src-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Jul 2003 05:45:30 -0000

Hi;

FWIW, the people of the Stanford Checker were interested in testing FreeBSD:
    http://metacomp.stanford.edu/

but they had problems porting /usr/sbin/config under linux which they needed to
do to get started (they did get OpenBSD tested). That was ages ago though ...

cheers,

   Pedro.

________________________________________________________________________
Want to chat instantly with your online friends?  Get the FREE Yahoo!
Messenger http://uk.messenger.yahoo.com/