[linuxkernelnewbies] User-level Device Drivers: Achieved Performance - Leslie, Chubb, Fitzroy-Dale, Gotz, Gray, Macpherson, Potts, Shen, Elphinstone, Heiser (ResearchIndex)

[Peter Teoh]

http://citeseer.ist.psu.edu/old/leslie05userlevel.html Cited by:   More Real-Time Programming and L4 Microkernels - Sergio Ruocco National   (Correct) L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005)   (Correct) Active bibliography (related documents):   More   All 0.8:   The Fluke Device Driver Framework - Van Maren (1999)   (Correct) 0.7:   Encapsulated User-Level Device Drivers in the Mungi Operating.. - Nicholas   (Correct) 0.7:   Towards Untrusted Device Drivers - Leslie, Heiser (2003)   (Correct) Similar documents based on text:   More   All 0.3:   OS Verification --- Now! - Harvey Tuch Gerwin   (Correct) 0.3:   Future Directions in the Evolution of the L4 Microkernel - Elphinstone   (Correct) 0.2:   A Portable User-Mode Linux for Embedded Systems - Ben Leslie Carl   (Correct)