[Barrelfish-users] Barrelfish Intel SCC port

[Timothy Roscoe]

Dear Peter, 

There are - it will be included in the next Barrelfish source
release. 

Best regards,

 -- Timothy Roscoe

At Mon, 27 Sep 2010 17:14:14 -0400, Peter Bailis <pbailis at gmail.com> wrote:
> Hi,
> 
> Are there plans to release the Barrelfish Intel Single Chip Cloud port (
> http://www.systems.ethz.ch/education/theses/sccbarrelfish)?
> 
> Thanks,
> Peter