Hi,<div><br></div><div>Are there plans to release the Barrelfish Intel Single Chip Cloud port (<a href="http://www.systems.ethz.ch/education/theses/sccbarrelfish">http://www.systems.ethz.ch/education/theses/sccbarrelfish</a>)?</div>
<div><br></div><div>Thanks,</div><div>Peter</div>