A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IRCS-018 , January 2006
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines