Decaf: Moving Device Drivers to a Modern Language
XFI: software guards for system address spaces