Date: Mon, 17 Jan 2005 17:43:43 +0100 From: cpghost@cordula.ws To: Nicholas Ink <quantescape@comcast.net> Cc: freebsd-questions@FreeBSD.org Subject: Re: Microkernel version of FreeBSD Message-ID: <20050117164343.GA70783@bsdbox.farid-hajji.net> In-Reply-To: <98F73BAE-6825-11D9-996F-00112433589E@comcast.net> References: <98F73BAE-6825-11D9-996F-00112433589E@comcast.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20050117164343.GA70783>