On Tue, Jan 06, 2004 at 04:00:33PM -0500, David Andrews wrote: > > No, it's not. *BSD on the PowerPC has always been Mach-based > AFAIK there is no released PPC port of FreeBSD, and a search of the > FreeBSD website for "microkernel" returns pitifully little information. > Which specific *BSDs are you thinking of?
NetBSD, which is the *BSD I'm most familiar with (having worked with it on the DECstations and VAXes). OTOH, my memory may be faulty; I went looking around the NetBSD site, and the only Mach discussions I saw were in the netbsd-ppc mailing list archives, and speculative in nature.
