Re: [FOSDEM] FOSDEM 2013 - Microkernels / Component-based OSes devroom