How much of microkernel?

[Thomas Schlesinger]

 Matthew Dillon wrote:

> >
> >     Well, DragonFly is definitely not a microkernel.  We forked off of
> >     FreeBSD, after all, and that is a fairly monolithic kernel.  I like
> >     the microkernel concept but putting core elements of an operating
> >     system into their own protection boxes result in fairly significant
> >     performance issues.
> >

Matt,

is this still true? Did you read about more recent microkernels, like the L4 
family (http://os.inf.tu-dresden.de/L4/)?

Thomas