List of accepted talks for the Microkernel devroom @ FOSDEM 2016

[Jakub Jermar]

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