/!\ Obsolete /!\


DDE is no longer being updated or maintained. The Rump kernel is a better alternative.


Documentation

Discussion

DDE essentially is a glue layer to embed Linux device drivers into another environement. In the DDE case, this other environment is a user-space task -- compared to the GNU Mach kernel having a in-kernel Linux 2.0 device drivers glue code (cf. paper by Goel et al.).

Source Code