[Barrelfish-users] New Barrelfish Release
gerd.zellweger at inf.ethz.ch
Mon Dec 1 16:18:21 CET 2014
We are pleased to announce a new release of the Barrelfish OS. Along
with various bugfixes, this version includes a new core management
infrastructure that allows to shutdown and reboot cores, update kernels
and move entire per-core state between cores and kernels. For a more
detailed explanation, please have a look at our OSDI paper available on
the Barrelfish website .
As always, you can get the latest version by cloning or pulling from our
git repository .
More information about the Barrelfish-users