Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 31 Jul 2010 15:21:30 +0300
From:      CDP <dr.clau@gmail.com>
To:        "Julian H. Stacey" <jhs@berklix.com>
Cc:        Fabio Kaminski <fabiokaminski@gmail.com>, hackers@freebsd.org
Subject:   Re: freebsd exokernel
Message-ID:  <4C54154A.9040306@gmail.com>
In-Reply-To: <201007311206.o6VC6rdn023424@fire.js.berklix.net>
References:  <201007311206.o6VC6rdn023424@fire.js.berklix.net>

next in thread | previous in thread | raw e-mail | index | archive | help
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.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4C54154A.9040306>