freebsd exokernel

[Fabio Kaminski]

yes , i have snifed the mach.. but i dont like the message passing idea..
its from the microkernel species
and theres even a nouveau reincarnation called barrelfish
http://www.barrelfish.org .. wich is a sort of microkernel but running one
kernel core nucleus for each core and message passing each other.. (this is
very promissing for virtualization.. but monolitic still be the fastest)

its more like this L4 kernel.. good link indeed.... but with security
included.. in fact the original mit exokernel its more like a resource
policy system... http://en.wikipedia.org/wiki/Exokernel

and i think they solve the problem that L4 has, that you are left alone..
and the applications are obligated to implement  thought parts by
themselfs.. putting the abstractions in the userland as libraries.. so if
you want user ZFS ,Bsd VMM, Btrfs or create your own abstraction or mix
some, its just link with the proper .so file.. without needing to create a
half kernel/half app application..

thanks for the links

On Sat, Jul 31, 2010 at 9:21 AM, CDP <dr.clau at gmail.com> wrote:

> 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.
>