On Sun, Jan 16, 2005 at 08:17:47PM -0500, Nicholas Ink wrote: > Dear FreeBSD, > Is there a microkernel version of the FreeBSD software that has > source code available for download? Is it directly related to the > project?
You may want to have a look at Darwin. > I am currently working on a microkernel project and would be interested > in any such system. Which microkernel? Perhaps L4Ka::Pistachio (http://l4ka.org/)? It would be nice to have a {Net,Open,Free}BSD port to Pistachio someday. At least NetBSD should be relatively easy to port. > Thanks, > Nicholas Ink Cheers, -cpghost. -- Cordula's Web. http://www.cordula.ws/ _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to "[EMAIL PROTECTED]"
