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.