Barrelfish OS mirror of http://hg.barrelfish.org/barrelfish/ - View it on GitHub