User-level Device Drivers: Achieved Performance
Maintainability of the Linux kernel