BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Reusing legacy device drivers in an L4-based microkernel environme
 nt - Bjoern Doebel (TU Dresden)
DTSTART:20080612T150000Z
DTEND:20080612T160000Z
UID:TALK12047@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:L4 is a family of kernels that try to overcame performance pro
 blems of first-generation microkernels by focussing on high-performance ke
 rnel mechanisms enabling the construction of all vital operating system co
 mponents 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 introd
 uce recent work done in this area at TUD. The second part will focus on re
 source management in a microkernel-based system\, and the design and imple
 mentation of a Device Driver Environment (DDE) that allows reuse of legacy
  Linux and FreeBSD device drivers as L4 user space applications.\n\nBio: B
 joern Doebel received his Masters in Computer Science from TU Dresden in 2
 006 and then joined the TUD Operating Systems group as a PhD student. He h
 as been involved in the development of user-level OS components and device
  driver support.\n
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR