DragonFly BSD
DragonFly kernel List (threaded) for 2003-10
[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]

Re: Microkernel architecture?

From: Michael Neumann <mneumann@xxxxxxxx>
Date: Mon, 27 Oct 2003 19:54:12 +0100

On Fri, 3 Oct 2003 08:23:55 -0700 (PDT), Galen Sampson <galen_sampson@xxxxxxxxx> wrote:

Hello all,

I have also been interested in the exokernel mentioned here. It seems like

I'd prefer a client-server over an exokernel, protecting device drivers or other kernel components against each other (using separate address spaces).

There's already a port of Linux 2.4 called L4Linux on top of the L4 microkernel,
which has only a few percent less performance than running Linux 2.4 on bare
hardware and I've heard that 2.6 is nearly complete (of course L4Linux is still
monolithic, not client-server).

I am dreaming of having the same for BSD, so that both could be run simultaneously
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 you want,
at least in theory. An even improved jail if you want :-)

L4: l4ka.org
L4Linux: http://os.inf.tu-dresden.de/L4/LinuxOnL4/

Another interesting approach is SawMill: http://www.research.ibm.com/sawmill/



[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]