3 ms·Device Driver Environment: Linux device drivers in userspace and other kernels1 points by sedachv 11y ago