Welcome to the public Barrelfish wiki. This wiki is devoted to the development and use of the Barrelfish operating system.
see also: Barrelfish Documentation project (wiki maintained by Georgios Varisteas)
Barrelfish Workshop, UPC/BSC, Barcelona, September 6-7, 2010
Barrelfish Workshop, Cambridge University Computer Lab & MSR Cambridge, October 20-21, 2011
We have setup a mailing list where you can ask for help or help others working with Barrelfish. You will need to subscribe before posting to the list. The list archives are also available.
Access control on this wiki
If you'd like to help maintain the wiki or add content, please contact a member of the AdminGroup to request editing rights.