TUD:OS releases DDEKit/Linux

Hannes Weisbach hannes.weisbach at mailbox.tu-dresden.de
Thu Mar 29 14:33:40 CEST 2012

Hi all,

DDEKit/Linux was released!
DDEKit/Linux uses the Device Driver Environment approach to run dde-linux-2.6 in Linux user space. This allows Linux device drivers to run in Linux user space, including interrupt handling and DMA support. DDEKit/Linux was evaluated using an Intel E1000E NIC and it was possible to saturate an 1GBit/s link.
The source code, including dde-linux-2.6 and an E1000E-example are available for download at:


Best regards,
Hannes Weisbach

More information about the l4-hackers mailing list