DragonFly kernel List (threaded) for 2003-10
Re: Microkernel architecture?
On Fri, 3 Oct 2003 08:23:55 -0700 (PDT), Galen Sampson
I have also been interested in the exokernel mentioned here. It
There's already a port of Linux 2.4 called L4Linux on top of the L4
I'd prefer a client-server over an exokernel, protecting device
drivers or other kernel components against each other (using separate
which has only a few percent less performance than running Linux 2.4 on
hardware and I've heard that 2.6 is nearly complete (of course L4Linux is
monolithic, not client-server).
I am dreaming of having the same for BSD, so that both could be run
on top of L4 (or another fast 2nd generation microkernel).
Currently, it's possible to run as many L4Linux instances on top of L4 as
at least in theory. An even improved jail if you want :-)
Another interesting approach is SawMill: