Brussels / 31 January & 1 February 2026

schedule

Microkernel and Component-Based OS


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

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2025q4/003644.html.

Event Speakers Start End

Sunday

  Making the NOVA microhypervisor fit for thousands of devices and interrupts
Udo Steinberg 11:50 12:25
  skiftOS: Building a microkernel-based operating system from the ground up
Clémence 12:30 13:00
  Rethinking CPU scheduling for dynamic workloads on Sculpt OS
Johannes Schlatow, Stefan Kalkowski 13:05 13:35
  Capability Based Security in Redox
Ibuki Omatsu 13:40 14:10
  Transactions: Making CMRX kernel internals lock-free
Eduard Drusa 14:15 14:40
  Practical Persistence on Microkernels (ft. PhantomOS)
Rumen Mitov 14:45 15:15
  Writing axle OS's desktop compositor
Phillip Tennen 15:20 15:50
  Updates on GNU/Hurd progress: rump drivers, 64bit, SMP, software bootstrapping ...
Samuel Thibault 15:55 16:25
  Microkernels: The last 15 years in retrospective
Martin Decky 16:30 17:00