Nooks: an architecture for reliable device drivers
Efficient software-based fault isolation