Based on DDEKit one can implement OS-specific device driver frameworks.
Currently, three of those are available in L4, however only one of them is part of the DDE package.
-
DDE Linux 2.4 was implemented by Christian Helmuth way before DDEKit and supports Linux 2.4 device drivers.
-
DDE FreeBSD has been implemented by Thomas Friebel. The DDEKit was initiated by this project. DDEFreeBSD still needs to be incorporated into the DDE package.
-
DDE Linux 2.6 was implemented by Christian Helmuth and Bjoern Doebel on top of the DDEKit. It is part of the DDE package.