freebsd exokernel

[CDP]

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.