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