Microkernel version of FreeBSD

[cpghost at cordula.ws]

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/