Device Driver Environment: Linux device drivers in userspace and other kernelshttp://os.inf.tu-dresden.de/ddekit/ by sedachv • 10 years ago 1 0 10 years agoOSos.inf.tu-dresden.de