I'll sign up for a full talk on the Nix port, I just need to make a few more slides and then work on a richer demo.
Emery On Mon, Dec 07, 2015 at 12:02:26PM +0100, Norman Feske wrote: > Hello everyone, > > hereby, I'd like to give the reminder that the deadline for > contributions to the microkernel developer room at FOSDEM 2016 is > approaching. According to Jakub's request for participation, the > developer room is open for submissions until December 13: > > https://lists.fosdem.org/pipermail/fosdem/2015-October/002191.html > > Personally, I have submitted a talk about my ongoing line of work with > bringing seL4 and Genode together. Maybe you have an interesting story > to tell about your work, topics for discussions, or a demo? If so, I > encourage you to participate in the microkernel developer room! > > Cheers > Norman > > -- > Dr.-Ing. Norman Feske > Genode Labs > > http://www.genode-labs.com · http://genode.org > > Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden > Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
signature.asc
Description: Digital signature
------------------------------------------------------------------------------ Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741911&iu=/4140
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
