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 (PPTX format) (PDF format) , Ross McIlroy
Porting issues, Orion Hodson
Threads and scheduling, Simon Peter
THC, Tim Harris
Discussion notes
To be added
Participants
