Brussels / 1 & 2 February 2025

schedule

UB4.136


Day Start End Track(s)
Saturday 10:30 19:00 Microkernel and Component-Based OS, Open Source Firmware, BMC and Bootloader
Sunday 09:00 16:55 Image-Based Linux and Boot Integrity, Retrocomputing
09 10 11 12 13 14 15 16 17 18
Saturday Open Source Firmware, BMC and Bootloader devroom - intro
Multi-Profile UKIs and other ways to supercharge your Unified Kernel Images
wolfBoot: resilient, quantum-resistant secure boot for all architectures
Building firmware with firmware-action
Building flashless servers with Open Source Firmware for higher security and better flexibility
GRUB - Project Status Update
Latest implementation of AMD SEV-SNP in OVMF
no more boot loader: boot using the Linux kernel
TrenchBoot - project status update
U-Boot ACPI support on ARM64
WoA laptops: a quest for getting the right DTB
Open Source Firmware, BMC and Bootloader devroom - outro
Welcome to the Microkernel and Component-Based OS Devroom
HelenOS: 20 years of past history, 20 years of future vision
Celebrating kernel diversity with Genode
MACHINA: Lessons and Insights from Reimplementing the Mach Microkernel
CMRX: Microkernel-based RTOS with memory isolation on MMU-less architectures
Obtaining Safety & Security Certifications for L4Re
A Formal Specification of the NOVA Microhypervisor
Cancelling POSIX syscalls in Managarm - an asynchronous microkernel-based OS
POSIX Signals in User Space on the Redox Microkernel
Trusted boot with the Genode OS Framework
Sunday systemd & TPM in 2025
ParticleOS: Can we make Lennart Poettering run an image based distribution?!
FDE is almost there, how do we tackle the last hurdles?
"Signed, Sealed, and Delivered", with UKIs and composefs
Stronger runtime integrity for snaps with dm-verity
Generating immutable, A/B updatable, securely booting Debian images
Bootable Containers and Image Mode: Transforming Linux OS Management with Bootc
Case Study: Measured Boot and Remote Attestation in Confidential Containers
Welcome to Retrocomputing Devroom
Error correction for Dragon Quest passphrases
Bildschirmtext - Reeenacting an ancient communication system using Javascript and Common Lisp
Keeping a hand on the evolution of cursor controls: important mice of the past and what to do if you get one today
A PID control system based on the MOS 6502
Supersonic retro development with Docker
(General) Electric Dreams: restoring the GE-120, a milestone in transistor-based computing
Pac-Man for the DEC VT420
Raiders of the lost hard drive
Rediscovering the fun of programming with the Game Boy
The Small Device C Compiler targeting Z80, MOS 6502 and their derivatives
Silicium occitel mini
Writing a dynarec, step by step

Events

Title Speakers Track Start End

Saturday

  Open Source Firmware, BMC and Bootloader devroom - intro
Daniel Kiper Open Source Firmware, BMC and Bootloader 10:30 10:35
  Multi-Profile UKIs and other ways to supercharge your Unified Kernel Images
Lennart Poettering Open Source Firmware, BMC and Bootloader 10:35 10:55
  wolfBoot: resilient, quantum-resistant secure boot for all architectures
Daniele Lacamera Open Source Firmware, BMC and Bootloader 11:00 11:20
  Building firmware with firmware-action
Vojtech Vesely, Marvin Drees Open Source Firmware, BMC and Bootloader 11:25 11:45
  Building flashless servers with Open Source Firmware for higher security and better flexibility
Jean-Marie Verdun Open Source Firmware, BMC and Bootloader 11:50 12:10
  GRUB - Project Status Update
Daniel Kiper Open Source Firmware, BMC and Bootloader 12:15 12:35
  Latest implementation of AMD SEV-SNP in OVMF
Richard Lyu Open Source Firmware, BMC and Bootloader 12:40 13:00
  no more boot loader: boot using the Linux kernel
Marta Lewandowska Open Source Firmware, BMC and Bootloader 13:05 13:25
  TrenchBoot - project status update
Daniel Kiper, Maciej Pijanowski Open Source Firmware, BMC and Bootloader 13:30 13:50
  U-Boot ACPI support on ARM64
Patrick Rudolph Open Source Firmware, BMC and Bootloader 13:55 14:15
  WoA laptops: a quest for getting the right DTB
Dmitry Baryshkov, Christopher Obbard Open Source Firmware, BMC and Bootloader 14:20 14:40
  Open Source Firmware, BMC and Bootloader devroom - outro
Piotr Król Open Source Firmware, BMC and Bootloader 14:40 14:45
  Welcome to the Microkernel and Component-Based OS Devroom
Udo Steinberg, Alexander van der Grinten Microkernel and Component-Based OS 15:00 15:05
  HelenOS: 20 years of past history, 20 years of future vision
Martin Decky Microkernel and Component-Based OS 15:05 15:25
  Celebrating kernel diversity with Genode
Alexander Boettcher Microkernel and Component-Based OS 15:30 15:55
  MACHINA: Lessons and Insights from Reimplementing the Mach Microkernel
Gianluca Guida Microkernel and Component-Based OS 16:00 16:20
  CMRX: Microkernel-based RTOS with memory isolation on MMU-less architectures
Eduard Drusa Microkernel and Component-Based OS 16:25 16:45
  Obtaining Safety & Security Certifications for L4Re
Marcus Hähnel Microkernel and Component-Based OS 16:50 17:15
  A Formal Specification of the NOVA Microhypervisor
Hoang-Hai Dang Microkernel and Component-Based OS 17:20 17:45
  Cancelling POSIX syscalls in Managarm - an asynchronous microkernel-based OS
Geert Custers Microkernel and Component-Based OS 17:50 18:10
  POSIX Signals in User Space on the Redox Microkernel
Jacob Lorentzon Microkernel and Component-Based OS 18:15 18:35
  Trusted boot with the Genode OS Framework
Alice Domage Microkernel and Component-Based OS 18:40 19:00

Sunday

  systemd & TPM in 2025
Lennart Poettering Image-Based Linux and Boot Integrity 09:00 09:30
  ParticleOS: Can we make Lennart Poettering run an image based distribution?!
Daan De Meyer Image-Based Linux and Boot Integrity 09:30 10:00
  FDE is almost there, how do we tackle the last hurdles?
Richard Brown Image-Based Linux and Boot Integrity 10:00 10:30
  "Signed, Sealed, and Delivered", with UKIs and composefs
Timothée Ravier, Allison Karlitskaya Image-Based Linux and Boot Integrity 10:30 11:00
  Stronger runtime integrity for snaps with dm-verity
Spyros Seimenis Image-Based Linux and Boot Integrity 11:00 11:30
  Generating immutable, A/B updatable, securely booting Debian images
Jan Kiszka Image-Based Linux and Boot Integrity 11:30 12:00
  Bootable Containers and Image Mode: Transforming Linux OS Management with Bootc
Eric Curtin, Pierre-Yves Chibon Image-Based Linux and Boot Integrity 12:00 12:30
  Case Study: Measured Boot and Remote Attestation in Confidential Containers
Magnus Kulke Image-Based Linux and Boot Integrity 12:30 12:50
  Welcome to Retrocomputing Devroom
Sebastian Eggermont Retrocomputing 13:10 13:15
  Error correction for Dragon Quest passphrases
Raphaël Zumer Retrocomputing 13:15 13:25
  Bildschirmtext - Reeenacting an ancient communication system using Javascript and Common Lisp
Hans Hübner Retrocomputing 13:25 13:45
  Keeping a hand on the evolution of cursor controls: important mice of the past and what to do if you get one today
Dmitriy Kostiuk Retrocomputing 13:45 14:05
  A PID control system based on the MOS 6502
Mark Meyer Retrocomputing 14:05 14:25
  Supersonic retro development with Docker
Steven Goodwin Retrocomputing 14:25 14:40
  (General) Electric Dreams: restoring the GE-120, a milestone in transistor-based computing
Daniele Lacamera, Antonio Malara - Biappi Retrocomputing 14:40 15:00
  Pac-Man for the DEC VT420
Francois Laagel Retrocomputing 15:00 15:20
  Raiders of the lost hard drive
Michal Pleban Retrocomputing 15:20 15:35
  Rediscovering the fun of programming with the Game Boy
Eldred HABERT, Sylvie Oukaour Retrocomputing 15:35 15:55
  The Small Device C Compiler targeting Z80, MOS 6502 and their derivatives
Philipp K. Krause Retrocomputing 15:55 16:15
  Silicium occitel mini
rene speranza Retrocomputing 16:15 16:35
  Writing a dynarec, step by step
Paul Cercueil Retrocomputing 16:35 16:55