Re: freebsd exokernel

2010-08-02 Thread Fabio Kaminski
is a oslib.. very nice! thanks everybody, for the help an tips! Fabio Kaminski On Sat, Jul 31, 2010 at 5:50 PM, Ali Mashtizadeh wrote: > Hi Fabio, > > Exokernels are great operating systems for prototyping or learning. > You obviously incur a lot more performance hits when y

Re: freebsd exokernel

2010-07-31 Thread 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

freebsd exokernel

2010-07-30 Thread Fabio Kaminski
Hi folks, i know its a kind of off topic, but i think this is the perfect list for this.. anyone here think a little bit like me, and like the exokernel idea? the primary idea is to leverage only things like schedulling, and drivers to kernel ring .. and downgrade things like VFS and MM to userl