FOSDEM 2022 - Microkernel Devroom: Schedule proposal

[Sebastian Sumpf]

Hi everyone,

thank you for your manifold submissions to this years microkernel devroom! We
had a surprisingly high number of proposed talks this year, and therefore, had to
reject or shorten some talks in order to give as many projects the chance to
participate as possible. For the talks we had to reject, please feel free to
apply at another less populated devroom.

So, this is our preliminary proposal for the schedule:

Start-End   Min Title, Author(s)
----------------------------------------

10:00-10:10 10 Introduction, S.Sumpf, M.Decky
10:10-10:40 30 Advanced Unit Testing in the Hedron Microkernel, J.Stecklina
10:40-11:20 40 From the machine room - Protecting critical infrastructures with a micro kernel, M. Lange
11:20-11:50 30 A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework, D.Zammit
11:50-12:40 50 Genode meets the Pinephone, N. Feske
12:40-13:15 35 Managarm: Design of a pragmatic fully-asynchronous microkernel, A.Grinten
13:15-13:50 35 Debugging and Monitoring in Unikraft , S.Kuenzer
13:50-14:30 30 Serverless deployment of ML/AI workloads in hardware accelerated unikernels , A.Nano
14:30-15:00 30 UX/RT - a QNX-like OS based on seL4, A.Warkentin
15:00-15:45 45 RedLeaf: Isolation and Communication in a Safe Operating System, V.Narayanan
15:45-16:30 45 The Composite Component-Based OS, G.Parmer
16:30-17:05 35 Mitigating Processor Vulnerabilities by Restructuring the Kernel Address Space , S.Eydam
17:05-18:00 55 Unhackable Across 30 Years, End in Sight, B.Garst

For the talks accepted the next step is to upload the prerecorded talks till the mid of
January. We will update our CfP page [1] with the latest information on how to proceed.

Cheers,

Sebastian Sumpf


[1] http://fosdem.microkernel.info/