[FOSDEM'26] Microkernel and Component-Based OS Devroom: Schedule update

Sebastian Sumpf Sebastian.Sumpf at genode-labs.com
Sun Dec 14 20:59:18 UTC 2025


Hi all,

with an additional two hours of slot time available the tentative schedule looks 
as follows:

11:15-11:45   Synit: an experiment in capability-based reactive OS configuration
11:50-12:25   Making the NOVA microhypervisor fit for thousands of devices and
               interrupts
12:30-13:00   skiftOS: Building a microkernel-based operating system from the
               ground up
13:05-13:35   Rethinking CPU scheduling for dynamic workloads on Sculpt OS
13:40-14:10   Capability Based Security in Redox
14:15-14:40   Transactions: Making CMRX kernel internals lock-free
14:45-15:15   Practical Persistence on Microkernels (ft. PhantomOS)
15:20-15:50   Writing axle OS's desktop compositor
15:55-16:25   Updates on GNU/Hurd progress: rump drivers, 64bit, SMP, software
               bootstrapping ...
16:30-17:00   Microkernels: The last 15 years in retrospective

First, we have used the extra time to accept two more submissions. Second, in 
order to relax the very tight schedule we have added a 5 minute gap in between 
talks for speaker switch-over. This implies that every speaker can now exhaust 
their whole slot. In practice this means +5 minutes for your talk. Please still 
reserve time for Q&A because experience shows that it can become very busy 
during switch-overs. Third, all 25 minutes slots, except CMRX which requested 20 
minutes, have been upgraded to 30 minutes. We hope everyone is happy with that. 
In case there are any concerns or questions, please contact us immediately.

To speakers that did not confirm their attendance yet: Please do so as soon as 
possible. The official publishing deadline for our schedule is 2025-12-15.

To all speakers: Please make sure you have some sort of meaningful biography in 
pretalx.

Thank you all and see you at FOSDEM,

Sebastian & Josef


More information about the microkernel-devroom mailing list