Hi, Are there plans to release the Barrelfish Intel Single Chip Cloud port ( http://www.systems.ethz.ch/education/theses/sccbarrelfish)? Thanks, Peter -------------- next part -------------- An HTML attachment was scrubbed... URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20100927/15600fe7/attachment.html