[FOSDEM] 2025 Schedule: Microkernel and Component-Based OS Devroom

[Udo Steinberg]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://lists.fosdem.org/pipermail/microkernel-devroom/attachments/20241209/12fad2e0/attachment.sig>