Online / 6 & 7 February 2021

visit

Microkernel devroom

Room: D.microkernel
Calendar: iCal, xCal
Video with Q&A: D.microkernel
Video only: D.microkernel
Chat: Join the conversation!


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		 Alexander Jung 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