[seL4] Reminder: Microkernel-devroom CfP deadline is on this Sunday

Hi folks,

the CfP deadline for the Microkernel devroom at FOSDEM 2016 is due this Sunday.

See the original CfP [1] for information on what to do if you would like to give a talk about some microkernel-related topic.

At the same time, I would like to encourage you to submit a talk proposal. It would be shame not to let the wider microkernel community know about the latest and greatest developments in your project.

Lastly, please forward this reminder to whoever you think may want to give a talk in the devroom and is not among the recipients of this message.

Thanks, Jakub

[1] http://trac.helenos.org/wiki/Devroom2016