Who Put the Kernel in My OS Conference?

A session at 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14)

Monday 6th October, 2014

8:40am to 10:20am (MST)


  • Arrakis: The Operating System is the Control Plane
  • Decoupling Cores, Kernels, and Operating Systems
  • Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
  • IX: A Dataplane Operating System for Event-driven, Web-scale Applications

Sign in to add slides, notes or videos to this session

Tell your friends!


Time 8:40am10:20am MST

Date Mon 6th October 2014

Session Hash Tag


Short URL


View the schedule


See something wrong?

Report an issue with this session