Hi all, below you can find the (tentative) schedule for the 2025 edition of the FOSDEM "Microkernel and Component-Based OS" devroom, which will begin at 15:00 CET on Feb 1, 2025 in ULB room UB4.136. First, we would like to thank everyone who submitted a talk proposal. We are quite happy to have received 17 submissions this year. Unfortunately, the FOSDEM organizers were unable to expand our developer room back to a full day, so we could only fit 9 of those talks into our half-day slot. To make the selection process fair and unbiased, we asked several highly technical people from our community to rank and rate the submitted proposals. We would like to thank Norman Feske (Genode), Adam Lackorzynski (Kernkonzept) and Julian Stecklina (Cyberus) to help Alexander and me make the choice. The tentative schedule is as follows (Brussels time / CET): 15:00-15:05 Welcome to the Microkernel and Component-Based OS Devroom 15:05-15:25 HelenOS: 20 years of past history, 20 years of future vision 15:30-15:55 Celebrating kernel diversity with Genode 16:00-16:20 MACHINA: Lessons and Insights from Reimplementing the Mach Microkernel 16:25-16:45 CMRX: Microkernel-based RTOS with memory isolation on MMU-less architectures 16:50-17:15 Obtaining Safety & Security Certifications for L4Re 17:20-17:45 A Formal Specification of the NOVA Microhypervisor 17:50-18:10 Cancelling POSIX syscalls in Managarm - an asynchronous microkernel-based OS 18:15-18:35 POSIX Signals in User Space on the Redox Microkernel 18:40-19:00 Trusted boot with the Genode OS Framework For those of you whose talk was accepted: Congratulations! Please confirm your attendance in pretalx and check if your assigned time slot works. Please notify me ASAP if you have a scheduling conflict and put the time slots that work for you into pretalx. Once your talk shows up on the devroom website at https://fosdem.org/2025/schedule/track/microkernel/ you are good to go. Since the schedule is so tight, we will do strict preemptive scheduling of time slots. There are 5 minutes in between talks to allow the audience to enter and leave the room. The next speaker should use that time to set up their laptop. The previous speaker could use that time to answer some more questions, but don't count on that too much, because there will be noise. For those of you whose talk was not accepted: Sorry that we could not fit you into the schedule this time, but please try again next year. For this year, we are keeping you on a waiting list in case a talk mentioned above cannot happen. Cheers, Udo & Alexander