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