|
Size: 1839
Comment:
|
Size: 2639
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 14: | Line 14: |
| * [[Running_on_SCC|Running Barrelfish on the Intel Single-Chip Cloud Computer]] * [[Running_on_Xeon_Phi|Running Barrelfish on the Intel Xeon Phi]] |
|
| Line 18: | Line 20: |
| * [[BulkTransfers|Bulk Transfers]] * [[PandaBoard|Running Barrelfish on PandaBoard]] * [[CrossCompiler|C/C++ cross compiler]] * [[Troubleshooting|Troubleshooting Strategies]] * [[TFTPBootBarrelfish|Booting barrelfish over TFTP]] see also: [[http://130.237.20.115/bdp/|Barrelfish Documentation project]] (wiki maintained by [[https://www.kth.se/profile/yorgos/|Georgios Varisteas]]) |
|
| Line 31: | Line 41: |
| 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 a member of the AdminGroup to request editing rights. | ## Disabled by kkourt due to excessive account creation from bits ## (see /etc/moin/barrelfish.py) ## 26/9/2013 ## 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 a member of the AdminGroup to request editing rights. If you'd like to help maintain the wiki or add content, please contact a member of the AdminGroup to request editing rights. |
Barrelfish Wiki
Welcome to the public Barrelfish wiki. This wiki is devoted to the development and use of the Barrelfish operating system.
Documentation
see also: Barrelfish Documentation project (wiki maintained by Georgios Varisteas)
Workshops etc.
Barrelfish Workshop, UPC/BSC, Barcelona, September 6-7, 2010
Barrelfish Workshop, Cambridge University Computer Lab & MSR Cambridge, October 20-21, 2011
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
If you'd like to help maintain the wiki or add content, please contact a member of the AdminGroup to request editing rights.