[Barrelfish-users] Barrelfish vs. Microkernels?

[Haas, Werner]

Please excuse my ignorance but how does Barrelfish relate to other non-monolithic operating systems? What are the fundamental differences to other microkernel approaches such as Mach or L4? (I am well aware that there is a whole zoo of implementations under these generic names) Is it fair to see multikernels "simply" as extension of microkernels to heterogeneous hardware or is there another design philosophy?

Thanks,
Werner

--------------------------------------------------------------------------------------
Intel GmbH
Dornacher Strasse 1
85622 Feldkirchen/Muenchen, Deutschland 
Sitz der Gesellschaft: Feldkirchen bei Muenchen
Geschaeftsfuehrer: Douglas Lusk, Peter Gleissner, Hannes Schwaderer
Registergericht: Muenchen HRB 47456 
Ust.-IdNr./VAT Registration No.: DE129385895
Citibank Frankfurt a.M. (BLZ 502 109 00) 600119052