Brussels / 3 & 4 February 2018

schedule

Microkernels devroom


09 10 11 12 13 14 15 16 17 18
Saturday Everything is a device!
Lessons learned from experimenting with MH
GPU resource multiplexing in component based systems Hurd's PCI arbiter Live sculpting a Genode-based operating system Microkernels in the Era of Data-Centric Computing Reducing CPU usage of a Toro Appliance Rust On L4Re
Safe Language Meets Safe Microkernel
AMENDMENT Lightning talks Towards capabilities in HelenOS
The elephant in the room
User-level networking on Genode Why hardware and operating system engineers need to talk

Microkernels and component-based operating systems are pervasive parts of our computing landscape. They are currently used in situations where security and reliability are of utmost importance or where resources are scarce. The microkernel developer room brings the heads behind several projects together and offers a chance to get up to speed with developments in different groups.

Event Speakers Start End

Saturday

  Everything is a device!
Lessons learned from experimenting with MH
Gianluca Guida 10:30 10:55
  GPU resource multiplexing in component based systems Sebastian Sumpf 11:05 11:35
  Hurd's PCI arbiter Samuel Thibault 11:45 12:15
  Live sculpting a Genode-based operating system Norman Feske 12:25 13:25
  Microkernels in the Era of Data-Centric Computing Martin Děcký 13:35 14:20
  Reducing CPU usage of a Toro Appliance Matias Vara 14:30 15:00
  Rust On L4Re
Safe Language Meets Safe Microkernel
Sebastian Humenda 15:10 15:45
  AMENDMENT Lightning talks 15:55 16:25
  Towards capabilities in HelenOS
The elephant in the room
Jakub Jermář 16:35 17:20
  User-level networking on Genode Martin Stein 17:30 18:15
  Why hardware and operating system engineers need to talk Matthias Lange 18:20 19:00