Reusing legacy device drivers in an L4-based microkernel environment

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

• Bjoern Doebel (TU Dresden)
• Thursday 12 June 2008, 16:00-17:00
• Lecture Theatre 2, Computer Laboratory, William Gates Builiding.

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.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CL's SRG seminar
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Systems Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Lecture Theatre 2, Computer Laboratory, William Gates Builiding
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.