Date: Sat, 31 Jul 2010 15:32:43 -0300 From: Fabio Kaminski <fabiokaminski@gmail.com> To: CDP <dr.clau@gmail.com> Cc: "Julian H. Stacey" <jhs@berklix.com>, hackers@freebsd.org Subject: Re: freebsd exokernel Message-ID: <AANLkTikTg5zU5qXHU%2BGw0kQoi8vqPwGaAE9v=2CB%2BLdk@mail.gmail.com> In-Reply-To: <4C54154A.9040306@gmail.com> References: <201007311206.o6VC6rdn023424@fire.js.berklix.net> <4C54154A.9040306@gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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@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. >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?AANLkTikTg5zU5qXHU%2BGw0kQoi8vqPwGaAE9v=2CB%2BLdk>