Brussels / 1 & 2 February 2014

schedule

Microkernel-based operating systems devroom

Room: H.2214
Calendar: iCal, xCal


09 10 11 12 13 14 15 16 17 18
Sunday Welcoming and Introduction Rump Kernels, Just Components Genode as general-purpose OS - progress report and demonstration HelenOS annual update The microkernel OS Escape State of the Union: What's new in the L4Re Microkernel System Secure applications on top of L4 GNU/Hurd DDE userland device drivers Virtualization Dungeon on ARM
Hands on experience talk about virtualization experiments		 Read-Copy-Update for HelenOS Rethinking Resource Control
Making use of hardware-OS-Compiler interactions

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 OS group of TU Dresden.

Event Speakers Start End

Sunday
  Welcoming and Introduction Julian Stecklina 09:00 09:05
  Rump Kernels, Just Components Antti Kantee 09:05 09:50
  Genode as general-purpose OS - progress report and demonstration Norman Feske 09:55 10:40
  HelenOS annual update Jakub Jermář 10:45 11:30
  The microkernel OS Escape Nils Asmussen 11:35 12:20
  State of the Union: What's new in the L4Re Microkernel System Adam Lackorzynski 13:00 13:45
  Secure applications on top of L4 Sartakov A. Vasily 13:50 14:20
  GNU/Hurd DDE userland device drivers Samuel Thibault 14:25 14:55
  Virtualization Dungeon on ARM
Hands on experience talk about virtualization experiments		 Stefan Kalkowski 15:00 15:30
  Read-Copy-Update for HelenOS Martin Děcký 15:40 16:25
  Rethinking Resource Control
Making use of hardware-OS-Compiler interactions		 Michael Engel 16:30 17:00