[Barrelfish-users] Building barrellfish

Achermann Reto reto.achermann at inf.ethz.ch
Sat Mar 16 08:50:08 CET 2019

Hi Jonathan,

Please keep in mind, that we support building Barrelfish on the latest Ubuntu LTS. Other platforms may work too, however we cannot provide support for those.

Having said that you might be successful by using the Windows Subsystem for Linux. Install the Ubuntu version from the store.
Debian might work just like Ubuntu (as Ubuntu is based on Debian)

Otherwise: Create a docker image (e.g. https://hub.docker.com/r/achreto/barrelfish-ci) . Internally, we've successfully built Barrelfish inside a docker container running on MacOS.  Please note, we do not provide support on how to build your container image or use containers to build Barrelfish.

-- Reto

Reto Achermann
PhD Student, ETH Zurich

On 2019-03-16 01:41:22+01:00 Barrelfish-users wrote:

Is it possible to build barrelfish on Windows using Cygwin or on Debian if so how All I have are the ubuntu instructions.
Jonathan Moore
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20190316/382e3910/attachment.html>

More information about the Barrelfish-users mailing list