DragonFly BSD
DragonFly users List (threaded) for 2006-08
[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]

Re: How much of microkernel?


From: Thomas Schlesinger <schlesinger@xxxxxxxxxxxxx>
Date: Tue, 22 Aug 2006 21:04:27 +0200

 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



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