Brussels / 2 & 3 February 2019

schedule

Microkernels and Component-based OS devroom


09 10 11 12 13 14 15 16 17 18
Sunday What's new in the world of seL4 Microkernel virtualization under one roof
Dare the impossible
A roadmap for the Hurd? A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8
A case study of Rust as a language for writing microkernel based compositions
Hands-on composition of basic L4Re components Unikraft: Unikernels Made Easy Hardware/Software Co-Design for Efficient Microkernel Execution Solo5: A sandboxed, re-targetable execution environment for unikernels
A {unikernel,kernel} is just a {process,hypervisor} in disguise
Evolution of file system and disk management in HelenOS Operating System hardening : Dealing with external interrupts The impact of Meltre and Specdown on microkernel systems (*)
(*) Deliberate misspelling of Meltdown and Spectre
Event Speakers Start End

Sunday

  What's new in the world of seL4 Gernot Heiser 09:00 09:45
  Microkernel virtualization under one roof
Dare the impossible
Alexander Boettcher 09:55 10:30
  A roadmap for the Hurd? Samuel Thibault 10:40 11:00
  A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8
A case study of Rust as a language for writing microkernel based compositions
Robin Randhawa 11:10 11:55
  Hands-on composition of basic L4Re components Jakub Jermář 12:05 12:50
  Unikraft: Unikernels Made Easy Simon Kuenzer 13:00 13:35
  Hardware/Software Co-Design for Efficient Microkernel Execution Martin Děcký 13:45 14:20
  Solo5: A sandboxed, re-targetable execution environment for unikernels
A {unikernel,kernel} is just a {process,hypervisor} in disguise
Martin Lucina, Ricardo Koller 14:30 15:15
  Evolution of file system and disk management in HelenOS Jiri Svoboda 15:25 15:55
  Operating System hardening : Dealing with external interrupts Tokponnon Parfait 16:05 16:30
  The impact of Meltre and Specdown on microkernel systems (*)
(*) Deliberate misspelling of Meltdown and Spectre
Matthias Lange 16:35 17:00