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