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/