From owner-freebsd-questions@FreeBSD.ORG Mon Jan 17 16:42:46 2005 Return-Path: Delivered-To: freebsd-questions@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 9755516A4CE for ; Mon, 17 Jan 2005 16:42:46 +0000 (GMT) Received: from fw.farid-hajji.net (fw.farid-hajji.net [213.146.115.42]) by mx1.FreeBSD.org (Postfix) with ESMTP id 365D743D3F for ; Mon, 17 Jan 2005 16:42:46 +0000 (GMT) (envelope-from cpghost@cordula.ws) Received: from bsdbox.farid-hajji.net (bsdbox [192.168.254.3]) by fw.farid-hajji.net (Postfix) with ESMTP id D05444BA02; Mon, 17 Jan 2005 17:43:38 +0100 (CET) Date: Mon, 17 Jan 2005 17:43:43 +0100 From: cpghost@cordula.ws To: Nicholas Ink Message-ID: <20050117164343.GA70783@bsdbox.farid-hajji.net> References: <98F73BAE-6825-11D9-996F-00112433589E@comcast.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <98F73BAE-6825-11D9-996F-00112433589E@comcast.net> User-Agent: Mutt/1.5.6i cc: freebsd-questions@FreeBSD.org Subject: Re: Microkernel version of FreeBSD X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 17 Jan 2005 16:42:46 -0000 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/