Encapsulated User-Level Device Drivers in the Mungi Operating System (2003)

by Ben Leslie , Nicholas FitzRoy-Dale , Gernot Heiser
Citations:6 - 1 self

Documents Related by Co-Citation

250 An Empirical Study of Operating System Errors – Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler - 2001
340 On µ-kernel construction – Jochen Liedtke - 1995
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
92 Unmodified device driver reuse and improved system dependability via virtual machines – Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz - 2004
231 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
158 Improving IPC by kernel design – Jochen Liedtke - 1993
34 An I/O System for Mach 3.0 – Alessandro Forin , David Golub, Brian Bershad - 1991
114 The performance of µ-kernel-based systems – Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter - 1997
14 Wombat: a portable user-mode Linux for embedded systems – B Leslie, C van Schaik, G Heiser - 2005
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
24 Understanding collateral evolution in linux device drivers – Y Padioleau, J L Lawall, G Muller
97 Safe hardware access with the Xen virtual machine monitor – Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson - 2004
621 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
25 Towards a practical, verified kernel – Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe - 2007
106 Recovering device drivers – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2004
10 III. An architecture for device drivers executing as user-level tasks – D B Golub, G G Sotomayor, F L Rawson - 1993
15 Failure Resilience for Device Drivers – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
3 Performance testing the Linux kernel – Cliff White - 2003
2 MacOS X on L4 – Ka-shu Wong - 2003