|
Size: 1260
Comment:
|
Size: 1268
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 9: | Line 9: |
| == Documentation == TODO! |
## == Documentation == ## ## TODO! |
Barrelfish Wiki
Welcome to the public Barrelfish wiki. This wiki is devoted to the development and use of the Barrelfish operating system.
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, but the list archives are publicly 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 AndrewBaumann to request access.
The following groups are used for access control on this wiki:
TrustedUsersGroup contains users who are granted editing rights on the wiki
AdminGroup contains users who have admin rights on the wiki, and who control the membership of the TrustedUsersGroup