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