The Barrelfish project is no longer active. See https://systems.ethz.ch/ for information about our current research activities.