List of accepted talks for the Microkernel devroom @ FOSDEM 2016

Hi, it is my pleasure to announce the list of accepted talks for the Microkernel devroom @ FOSDEM 2016: An exploration of the seL4 kernel from Genode's perspective Norman Feske Porting HelenOS to RISC-V Martin Děcký Always in the shadow: the history of Minix-vmd Philip Homburg Porting Nix to Genode: Package management without a canonical file system Emery Hemingway Hurd, Rump kernel, sound, and usb Samuel Thibault Tools that helped to build HelenOS Jakub Jermář Genode's TrustZone demo on the USB Armory: Application of Genode as microhypervisor for Linux on an open source computer - story, design, and use Martin Stein The MH experiment: An hardware-inspired microkernel interface Gianluca Guida