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

[Pedro F. Giffuni]

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/