User-Level Device Drivers: Achieved Performance. - Ben Leslie; Peter Chubb; Nicholas Fitzroy-Dale; Stefan Götz 004; Charles Gray; Luke Macpherson; Daniel Potts; Yue-Ting Shen; Kevin Elphinstone; Gernot Heiser (J. Comput. Sci. Technol., 2005)