|
Size: 1338
Comment:
|
Size: 1410
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
| [[Getting_Started|Getting Started with Barrelfish]] | * [[Getting_Started|Getting Started with Barrelfish]] * [[Programming_for_Barrelfish|Writing code to run on Barrelfish]] |
Barrelfish Wiki
Welcome to the public Barrelfish wiki. This wiki is devoted to the development and use of the Barrelfish operating system.
Documentation
Workshops etc.
Mailing lists
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
This wiki is generally public, and read-only. If you'd like to help maintain the wiki or add content, please create an account and then contact a member of the AdminGroup to request editing rights.