From owner-freebsd-hackers@FreeBSD.ORG  Sat Jul 31 12:48:40 2010
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id A8CB61065673
	for <hackers@freebsd.org>; Sat, 31 Jul 2010 12:48:40 +0000 (UTC)
	(envelope-from dr.clau@gmail.com)
Received: from mail-fx0-f54.google.com (mail-fx0-f54.google.com
	[209.85.161.54])
	by mx1.freebsd.org (Postfix) with ESMTP id 343998FC1A
	for <hackers@freebsd.org>; Sat, 31 Jul 2010 12:48:39 +0000 (UTC)
Received: by fxm13 with SMTP id 13so1342200fxm.13
	for <hackers@freebsd.org>; Sat, 31 Jul 2010 05:48:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:received:received:message-id:date:from
	:user-agent:mime-version:to:cc:subject:references:in-reply-to
	:content-type:content-transfer-encoding;
	bh=AicojR9GZY5luGwPmOikwm7xttxPz36iIRAJ9Qxz8UM=;
	b=UrOaw25OKpL966o+xq3iQfQlST4T8r0HKJ9AncGGAtlJUfV+kwW63avo+0X46t5K2Z
	+DN3crFnEOFeuEpycdkbSSBILUV/6bSNyD/dNj6+ZYMzSA+vjfthNUJsUYagOBtH0+EC
	j5sPGgRO2/R4BpplgTGfhDQcWtsGO5Xu6ewBk=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=message-id:date:from:user-agent:mime-version:to:cc:subject
	:references:in-reply-to:content-type:content-transfer-encoding;
	b=aRpZ0E/lpeml7Pae4Xj2Q4D1D2aoLMQ2zsrxKCyPT7pgiekJ/Zk5+SD0VfGDl2htPf
	QArY7OWSRdmRz3WeUc57v/ehUY3L4qecDhvymq6wjpubAtX7mtAh2hwnanibjEH4/bZj
	D5cPcvxacx/9hQeNGJXVQMZb+dbQmgBL4RuKs=
Received: by 10.223.112.10 with SMTP id u10mr3370312fap.50.1280578889058;
	Sat, 31 Jul 2010 05:21:29 -0700 (PDT)
Received: from [127.0.0.103] ([89.47.225.20])
	by mx.google.com with ESMTPS id r27sm1197488faa.0.2010.07.31.05.21.26
	(version=TLSv1/SSLv3 cipher=RC4-MD5);
	Sat, 31 Jul 2010 05:21:27 -0700 (PDT)
Message-ID: <4C54154A.9040306@gmail.com>
Date: Sat, 31 Jul 2010 15:21:30 +0300
From: CDP <dr.clau@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; FreeBSD amd64; en-US;
	rv:1.9.1.11) Gecko/20100722 Thunderbird/3.0.6
MIME-Version: 1.0
To: "Julian H. Stacey" <jhs@berklix.com>
References: <201007311206.o6VC6rdn023424@fire.js.berklix.net>
In-Reply-To: <201007311206.o6VC6rdn023424@fire.js.berklix.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Cc: Fabio Kaminski <fabiokaminski@gmail.com>, hackers@freebsd.org
Subject: Re: freebsd exokernel
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 31 Jul 2010 12:48:40 -0000

On 07/31/10 15:06, Julian H. Stacey wrote:
>> would it be a feasible project to borrow things from freebsd, and start a
>> project like this? anyone like this idea ??
>
> The code is free to use :-)
>
>> anyway, just some thoughts for now..
>
> See also eg Mach.
> 	http://en.wikipedia.org/wiki/Mach
> 	http://en.wikipedia.org/wiki/Mach_%28kernel%29

Add this to the list (have a look at the external links too):
http://en.wikipedia.org/wiki/L4_microkernel_family

You might also want to look at this:
http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml

Regards,
	Claudiu.