Schedule
22/09/2025
12h30 – 14h

LUNCH TIME
16h50 – 17h30

BPFOOM: using eBPF to customize the OOM handling
Roman GUSHCHIN
23/09/2025
9h-10h

BREAKFAST !
14h00 – 14h40

CHARITY AUCTION
10h – 10h40

Thomas SCHWINGE
14h50 – 15h30

24/09/2025
22/09/2025
10h50 – 11h30

Kworkflow: Mix & Match Kernel Recipes End-to-end
Melissa WEN
11h40 – 12h20

So you want to write a driver in Rust?
Alice RHYL
16h – 16h40

Andrea RIGHI
16h50 – 17h30

BPFOOM: using eBPF to customize the OOM handling
Roman GUSHCHIN
23/09/2025
12h30 – 14h

LUNCH TIME
14h00 – 14h40

CHARITY AUCTION
16h – 16h40

Linux for Real Time Workloads: bare metal and KVM
Leonardo BRAS
16h50 – 17h30

Program verification for the Linux kernel
Julia LAWALL
24/09/2025
9h00 – 10h

BREAKFAST!
10h00 – 10h40

16h – 16h40

nolibc: a userspace libc in the kernel tree
Thomas Weissschuh
16h50 – 17h30

Boris BREZILLON