A Device Driver Framework Concept for Microkernels

Drivers are an integral part of most operating systems. But both monolithic kernels as well as microkernels suffer from either poor fault containment or performance overheads. I want to shed some light on what can be done to improve the situation on microkernels, how one would design such a _Device Driver Framework_ (DDF) and why you would want to do it this way.
    The presentation provides information on the technical background, the current problems and how one could solve them. I will also present a prototype implementation and figures from seL4 about benchmark results.

(INF-PM-FPG)