Linux Kernel Infrastructure for User-Level Device Drivers
Nooks: an architecture for reliable device drivers