On Sun, 19 May 1996 14:39:26 -0700 (PDT) 
 Bill Studenmund <skippy@macro.stanford.edu> wrote:

 > A while back I heard that someone had ported NetBSD to the mach
 > microkernel. Did I hear correctly? If so, who did it, & is it "current"?

No, Lites, a 4.4Lite-based single-server is available for Mach...

See http://www.cs.utah.edu/projects/flux/index.html

 > I'm asking as mkLinux, Linux on the Mach microkernel running on a PowerPC,
 > has come out in a Developper's release. Us mac68k people would like to get
 > NetBSD running on the microkernel too.

Hmm ... could steal/read the guts of the mircokernel for a native NetBSD 
port, too.

----save the ancient forests - http://www.bayarea.net/~thorpej/forest/----
Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939