How much of microkernel?

Thomas E. Spanjaard tgen at
Tue Aug 22 10:43:26 PDT 2006

Matthew Dillon wrote:
:I've always been a fan of microkernel design and I would like to know 
:how much towards microkernel design do you have plans to go with 
:DragonFly? I know you will be incorporating VFS into userland which is 
:normally a feature of a microkernel, but where do you wanna go after 
:that, in regards to microkernelizing DragonFly? Drivers? TCP/IP? other 
    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.
I think L4 and Mungi have proven that doesn't have to be the case these 

        Thomas E. Spanjaard
        tgen at xxxxxxxxxxxxx
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pgp00003.pgp
Type: application/octet-stream
Size: 186 bytes
Desc: "Description: OpenPGP digital signature"
URL: <>

More information about the Kernel mailing list