Understanding modern device drivers
CuriOS: Improving Reliability through Operating System Structure