| Speakers | |
|---|---|
|
Dirk Vogt |
| Schedule | |
| Day | Sunday |
| Room | AW1.105 |
| Start time | 13:30 |
| End time | 14:00 |
| Duration | 00:30 |
| Info | |
| Event type | Podium |
| Track | Alt-OS |
| Language | English |
DDE - Generic Porting of Device Drivers
This talk will give a short presentation of the Device Driver Environment (DDE), a library that helps porting Linux and FreeBSD device drivers to other operating systems.
The DDE is divided into two parts, the DDEkit, a generic operating system abstraction layer, and guest-specific DDE's (currently available for Linux 2.6 and FreeBSD) allowing to run unmodified Linux and FreeBSD device drivers. Currently there exist implementations for TUD:OS, an L4 microkernel based operating system developed at TU Dresden and the Genode operating system framework developed by Genode Labs (Dresden). There are also plans to port the DDE to Minix 3.