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