Decaf: Moving Device Drivers to a Modern Language
The design and implementation of microdrivers