User-level Device Drivers: Achieved Performance
Nooks: an architecture for reliable device drivers