Microdrivers: A New Architecture for Device Drivers
Efficient software-based fault isolation