[FOSDEM'26] Microkernel and Component-Based OS Devroom: Accepted talks & schedule
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
Hello again, this comes a little unexpected: The Plan9 devroom, that will take place right before this devroom in room K.4.201 as well, has very few submissions and we were just offered to extent our slot by two hours. This offer implies: 1. We are able accept more talks 2. We need to reorganize the schedule 3. We can adjust your talk duration if needed To every submission that did not get accepted: Please watch the state of your submission carefully because the state might change to accepted soon. To already accepted proposals: Please have an eye on the schedule. Not everything is 100% certain at the moment, but it looks promising, Sebastian & Josef On 12/12/25 12:41, Sebastian Sumpf wrote:
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,
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
participants (1)
-
Sebastian Sumpf