Get More Device Drivers out of the Kernel!

by Peter Chubb National , Peter Chubb

Active Bibliography

Linux Kernel Infrastructure for User-Level Device Drivers – Peter Chubb Peterc - 2004
6 Encapsulated user-level device drivers in the Mungi operating system – Ben Leslie, Nicholas Fitzroy-dale, Gernot Heiser - 2004
303 Terra: a virtual machine-based platform for trusted computing – Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh - 2003
93 Unmodified device driver reuse and improved system dependability via virtual machines – Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz - 2004
2 Initial evaluation of a user-level device driver framework – Kevin Elphinstone, Stefan Götz - 2004
28 Device driver safety through a reference validation mechanism – Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
Hardware Works, Software Doesn't: – Enforcing Modularity With, Emmett Witchel, Krste Asanović - 2003
Towards Trustworthy Virtualisation: Improving the Trusted Virtual Infrastructure – Carl Gebhardt, Carl Gebhardt, Carl Gebhardt - 2010
39 User-level Device Drivers: Achieved Performance – Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser - 2005
26 Dingo: Taming Device Drivers – Leonidf Ryzhyk, et al. - 2009
14 Towards Untrusted Device Drivers – Ben Leslie, Gernot Heiser - 2003
3 A Survey of Architectures for Memory Resident Databases – Gordon Russell, Paul Cockshott, G Xh - 1993
3 Standardized but Flexible I/O for Self-Virtualizing Devices – Joshua Levasseur, Espen Skoglund, Christo Toit, Leon Lynch, Alex Ward, Dulloor Rao, Rolf Neugebauer, Derek Mcauley
27 NGSCB: A Trusted Open System – Marcus Peinado, Yuqun Chen, Paul Engl, John Manferdelli - 2004
18 Trust and protection in the illinois browser operating system – Shuo Tang, Haohui Mai, Samuel T. King
1 Hybrid Resource Control for Fast-Path Active Extensions – Parveen K Patel, Parveen K Patel, Wilson C. Hsieh, John D. Regehr, Date Frank, J. Lepreau, David S. Chapman - 2003
Submission Date: 2006-10-31 – Optimising L On Blackfin, Clarence Dang, Supervisor Kevin Elphinstone, Assessor Gernot, Heiser Abstract
Architecture and Design; C.2.6 [Computer Communication – Eric Keller, Evan Green
5 Legba: Fast Hardware Support for Fine-Grained Protection – Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser - 2003