[Barrelfish-users] Barrelfish vs. Microkernels?

Haas, Werner werner.haas at intel.com
Tue Nov 15 13:02:26 CET 2011

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?


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

More information about the Barrelfish-users mailing list