Brussels / 30 & 31 January 2016

schedule

Microkernels devroom

Room: K.4.601
Calendar: iCal, xCal


09 10 11 12 13 14 15 16 17 18
Saturday Opening note An exploration of the seL4 kernel from Genode's perspective Porting HelenOS to RISC-V This is not a lunch break
Let's discuss microkernel-related topics while eating		 Tools that helped to build HelenOS Porting Nix to Genode
Package management without a canonical file system		 Hurd, Rump kernel, sound, and USB Always in the shadow: the history of Minix-vmd Genode's TrustZone demo on the USB Armory
Application of Genode as microhypervisor for Linux on an open source computer - story, design, and use		 The MH experiment
A hardware-inspired microkernel interface.

Microkernels and component-based operating systems are pervasive parts of our computing landscape. They are currently used in situations where security and reliability are of utmost importance or where resources are scarce. The microkernel developer room brings the heads behind several projects together and offers a chance to get up to speed with developments in different groups.

Organization of the microkernel developer room is done in turns by groups in the microkernel community. This year's developer room is organized by the HelenOS developers.

Event Speakers Start End

Saturday
  Opening note Jakub Jermář 10:30 10:35
  An exploration of the seL4 kernel from Genode's perspective Norman Feske 10:40 11:25
  Porting HelenOS to RISC-V Martin Děcký 11:35 12:25
  This is not a lunch break
Let's discuss microkernel-related topics while eating		 Jakub Jermář 12:30 13:25
  Tools that helped to build HelenOS Jakub Jermář 13:30 14:00
  Porting Nix to Genode
Package management without a canonical file system		 Emery Hemingway 14:10 14:35
  Hurd, Rump kernel, sound, and USB Samuel Thibault 14:45 15:05
  Always in the shadow: the history of Minix-vmd Philip Homburg 15:15 15:45
  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 15:55 16:25
  The MH experiment
A hardware-inspired microkernel interface.		 Gianluca Guida 16:35 17:00