|
⇤ ← Revision 1 as of 2010-09-16 13:46:25
Size: 706
Comment:
|
Size: 772
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| * [[gettingstarted.pdf|Getting started]], Ihor Kuz * [[idc.pdf|Inter-dispatcher communication (IDC)]], Andrew Baumann * [[skb.pdf|System knowledge base (SKB)]], Adrian Schüpbach * [[tracing.pdf|Tracing and visualisation]], Rebecca Isaacs * [[capabilities.pptx|Capability system]], Ross McIlroy * [[porting.pdf|Porting issues]], Orion Hodson |
* [[attachment:gettingstarted.pdf|Getting started]], Ihor Kuz * [[attachment:idc.pdf|Inter-dispatcher communication (IDC)]], Andrew Baumann * [[attachment:skb.pdf|System knowledge base (SKB)]], Adrian Schüpbach * [[attachment:tracing.pdf|Tracing and visualisation]], Rebecca Isaacs * [[attachment:capabilities.pptx|Capability system]], Ross McIlroy * [[attachment:porting.pdf|Porting issues]], Orion Hodson |
Barcelona Barrelfish Workshop, 6-7 September, 2010
Presentation slides
Barrelfish programming tutorials
Getting started, Ihor Kuz
Inter-dispatcher communication (IDC), Andrew Baumann
System knowledge base (SKB), Adrian Schüpbach
Tracing and visualisation, Rebecca Isaacs
Capability system, Ross McIlroy
Porting issues, Orion Hodson
- Inter-dispatcher networking, Akhilesh Singhania
- Threads and scheduling, Simon Peter
- THC, Tim Harris
Discussion notes
To be added
Participants
