Online / 6 & 7 February 2021

visit

Microkernel devroom


09 10 11 12 13 14 15 16 17 18
Saturday Welcome and Introduction The seL4 Report
What happened in seL4 land in the past 12 months
The seL4 Foundation
what it is and why you should get involved
libioth
The definitive API for the Internet of Threads
Pluggable device drivers for Genode Hardware acceleration for unikernels Is the Time Ripe for Unikernels to Become Mainstream with Unikraft?
Building extremely Fast, Specialized Unikernels the Easy Way
State of Microkernels in 2021
Panel Discussion

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2020q4/003144.html.

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

Saturday

  Welcome and Introduction Martin Děcký 10:00 10:10
  The seL4 Report
What happened in seL4 land in the past 12 months
Gernot Heiser 10:10 11:10
  The seL4 Foundation
what it is and why you should get involved
June Andronick 11:10 11:55
  libioth
The definitive API for the Internet of Threads
Renzo Davoli, Mikey Goldweber 11:55 13:05
  Pluggable device drivers for Genode Norman Feske 13:05 13:45
  Hardware acceleration for unikernels Charalampos Mainas 13:45 14:25
  Is the Time Ripe for Unikernels to Become Mainstream with Unikraft?
Building extremely Fast, Specialized Unikernels the Easy Way
Simon Kuenzer 14:25 15:05
  State of Microkernels in 2021
Panel Discussion
Jakub Jermář, Martin Děcký, Norman Feske, Julian Stecklina, Udo Steinberg, Matthias Lange, Gernot Heiser 15:05 16:05