|
Size: 1256
Comment:
|
Size: 1268
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 9: | Line 9: |
| == Documentation == TODO! |
## == Documentation == ## ## TODO! |
| Line 23: | Line 23: |
| This wiki is generally public, and read-only. If you'd like to help maintain the wiki or add content, please [[UserPreferences|create an account]] and then contact AndrewBaumann to request access. | This wiki is generally public, and read-only. If you'd like to help maintain the wiki or add content, please <<Action(newaccount,create an account)>> and then contact AndrewBaumann to request access. |
| Line 26: | Line 26: |
| * TrustedUserGroup contains users who are granted editing rights on the wiki | * TrustedUsersGroup contains users who are granted editing rights on the wiki |
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