= Barcelona Barrelfish Workshop, 6-7 September, 2010 =

== Presentation slides ==

=== Barrelfish programming tutorials ===

 * [[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
 * Capability system [[attachment:capabilities.pptx|(PPTX format)]] [[attachment:capabilities.pdf|(PDF format)]] , Ross !McIlroy
 * [[attachment:porting.pdf|Porting issues]], Orion Hodson
 * [[attachment:scheduling.pdf|Threads and scheduling]], Simon Peter
 * [[attachment:2010-09sep-bsc-thc.pdf|THC]], Tim Harris

== Discussion notes ==

''To be added''

== Participants ==

{{attachment:barcelona_attendees.jpg}}