Brussels / 1 & 2 February 2020

schedule

Microkernels and Component-based OS devroom


09 10 11 12 13 14 15 16 17 18
Sunday seL4 Microkernel Status Update M³: Taking Microkernels to the Next Level HelenOS in the Year of the Pig Linux Kernel Library
A Library Version of Linux Kernel
Phantom OS
Orthogonal Persistence-based OS Intro and Design Concepts
Gneiss: A Nice Component Framework in SPARK A Component-based Environment for Android Apps Demonstration of the Sculpt Operating System A Brief Survey through Genode's ARMv8 Playground NOVA Microhypervisor on ARMv8-A The HIPPEROS RTOS
A Song of Research and Development
Unikraft: A Unikernel Toolkit VUOS: Give Your Processes a New VU

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.

Event Speakers Start End

Sunday

  seL4 Microkernel Status Update Gernot Heiser 09:00 09:50
  M³: Taking Microkernels to the Next Level Nils Asmussen 10:00 10:35
  HelenOS in the Year of the Pig Jakub Jermář 10:40 10:55
  Linux Kernel Library
A Library Version of Linux Kernel
Hajime Tazaki 11:00 11:25
  Phantom OS
Orthogonal Persistence-based OS Intro and Design Concepts
Dmitry Zavalishin 11:30 11:55
  Gneiss: A Nice Component Framework in SPARK Johannes Kliemann 12:00 12:25
  A Component-based Environment for Android Apps Alexander Senier 12:30 12:55
  Demonstration of the Sculpt Operating System Norman Feske 13:00 13:50
  A Brief Survey through Genode's ARMv8 Playground Stefan Kalkowski 14:00 14:25
  NOVA Microhypervisor on ARMv8-A Udo Steinberg 14:30 15:20
  The HIPPEROS RTOS
A Song of Research and Development
Antonio Paolillo 15:30 15:55
  Unikraft: A Unikernel Toolkit Simon Kuenzer 16:00 16:25
  VUOS: Give Your Processes a New VU Renzo Davoli 16:30 16:55