University of Cambridge > > Computer Laboratory Systems Research Group Seminar > Reusing legacy device drivers in an L4-based microkernel environment

Reusing legacy device drivers in an L4-based microkernel environment

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Eiko Yoneki.

L4 is a family of kernels that try to overcame performance problems of first-generation microkernels by focussing on high-performance kernel mechanisms enabling the construction of all vital operating system components in user space. One of these kernels is the L4.Fiasco microkernel developed at TU Dresden. In the first part of my talk I am going to introduce recent work done in this area at TUD . The second part will focus on resource management in a microkernel-based system, and the design and implementation of a Device Driver Environment (DDE) that allows reuse of legacy Linux and FreeBSD device drivers as L4 user space applications.

Bio: Bjoern Doebel received his Masters in Computer Science from TU Dresden in 2006 and then joined the TUD Operating Systems group as a PhD student. He has been involved in the development of user-level OS components and device driver support.

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity