[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