Online / 6 & 7 February 2021

schedule

D.microkernel


Day Start End Track(s)
Saturday 10:00 16:05 Microkernel
09 10 11 12 13 14 15 16 17
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

Events

Title Track Start End

Saturday

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