Online / 5 & 6 February 2022

visit

Microkernel and Component-based OS devroom


09 10 11 12 13 14 15 16 17
Saturday Introduction Advanced Unit Testing in the Hedron Microkernel A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework Genode meets the Pinephone Managarm: Design of a pragmatic fully-asynchronous microkernel Debugging and Monitoring in Unikraft
Everything beyond printf()
Hardware accelerated applications on Unikernels for Serverless Computing UX/RT - a QNX-like OS based on seL4 RedLeaf: Isolation and Communication in a Safe Operating System The Composite Component-Based OS Mitigating Processor Vulnerabilities by Restructuring the Kernel Address Space Unhackable across 30 Years, End in Sight

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

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

  Introduction Martin Děcký, Sebastian Sumpf 10:40 10:50
  Advanced Unit Testing in the Hedron Microkernel Julian Stecklina 10:50 11:20
  A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework Damien Zammit 11:20 11:50
  Genode meets the Pinephone Norman Feske 11:50 12:40
  Managarm: Design of a pragmatic fully-asynchronous microkernel Alexander van der Grinten 12:40 13:15
  Debugging and Monitoring in Unikraft
Everything beyond printf()
Simon Kuenzer, Marc Rittinghaus 13:15 13:50
  Hardware accelerated applications on Unikernels for Serverless Computing Anastassios Nanos, Charalampos Mainas 13:50 14:30
  UX/RT - a QNX-like OS based on seL4 Andrew Warkentin 14:30 15:00
  RedLeaf: Isolation and Communication in a Safe Operating System Vikram Narayanan, Anton Burtsev 15:00 15:45
  The Composite Component-Based OS Gabe Parmer 15:45 16:30
  Mitigating Processor Vulnerabilities by Restructuring the Kernel Address Space Sebastian Eydam 16:30 17:05
  Unhackable across 30 Years, End in Sight Blaine Garst 17:05 18:00