The Device Driver Environment (DDE) is a framework for incorporating legacy device drivers into DROPS.
It consists of two parts:
-
The DDEKit provides a basic set of functions that are typically needed by drivers, such as threading, IRQs, PCI access and so on. Its purpose is to decouple the OS-dependent code from the L4 code.
-
An OS-dependent part such as DDELinux2.6 implements an environment for drivers from a certain legacy OS. It maps the legacy OS's functions to the DDEKit.