Online / 5 & 6 February 2022

visit

D.microkernel


Day Start End Track(s)
Saturday 10:40 18:00 Microkernel and Component-based OS
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

Events

Title Track Start End

Saturday

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