Reusing legacy device drivers in an L4-based microkernel environment
- đ¤ Speaker: Bjoern Doebel (TU Dresden)
- đ Date & Time: Thursday 12 June 2008, 16:00 - 17:00
- đ Venue: Lecture Theatre 2, Computer Laboratory, William Gates Builiding
Abstract
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.
Series This talk is part of the Computer Laboratory Systems Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- CL's SRG seminar
- 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
- ndk22's list
- ob366-ai4er
- rp587
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Thursday 12 June 2008, 16:00-17:00