Operating Systems

Barrelfish

The Barrelfish project is performing operating systems research in the context of a new, written-from-scratch kernel, targeted at multi- and many-core processor systems. The OS will use virtualization techniques in some processes or domains in order to support legacy applications and devices, but will export a new OS ABI to most domains and will manage all the hardware itself. More... 

 Back to Research