[FOSDEM'26] Microkernel and Component-Based OS Devroom: Accepted talks & schedule

Sebastian Sumpf Sebastian.Sumpf at genode-labs.com
Fri Dec 12 11:41:28 UTC 2025


Hello all,

we would like to thank everyone for their proposals to the developer room. This 
year we received 18 submissions. However, the time constraint of half a day 
forced us to limit the number of accepted talks to 8. In case your talk was not 
accepted, consider joining the devroom as a visitor and please do not hesitate 
to apply for next year's edition of FOSDEM.

To make the selection process fair and unbiased, we asked several people from 
our community to rank and rate the submitted proposals and hereby thank them for 
their reviews.

The Microkernel and Component-Based OS Devroom will take place on Feb. 1, 2026 
at ULB in room K.4.201.

The tentative schedule follows (Brussels time / CET):

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

We divided the devroom time into 25 and 30 minutes slots. Please limit your 
speaking time to 20 and 25 minutes respectively to make room for Q&A and switch 
over. Also confirm your attendance in pretalx and check if your assigned time 
slot works. Please notify us ASAP if you have a scheduling conflict. Once your 
talk shows up on the devroom website at 
https://fosdem.org/2026/schedule/track/microkernel you are good to go.

We are looking forward to see you at FOSDEM,

Sebastian & Josef





More information about the microkernel-devroom mailing list