This is a collection of resources concerning device drivers and I/O systems in general.
Also see user-space device drivers.
Documentation
An I/O System for Mach 3.0, 1991, Alessandro Forin, David Golub, Brian Bershad
Linux Device Driver Emulation in Mach, 1996, Shantanu Goel, Dan Duchamp
Eliminating receive livelock in an interrupt-driven kernel, 1997, Jeffrey Mogul, Dec Western, Jeffrey C. Mogul, K. K. Ramakrishnan
IO-Lite: A Unified I/O Buffering and Caching System, 1997, Vivek S. Pai, Peter Druschel, Willy Zwaenepoel
The Flux OSKit: A substrate for kernel and language research, 1997, Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
Reuse Linux Device Drivers in Embedded Systems, 1998, Chi-wei Yang, Paul C. H. Lee, Ruei-Chuan Chang
THINK: A Software Framework for Component-based Operating System Kernels, 2002, Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles Muller
An I/O Architecture for Microkernel-Based Operating Systems, 2003, Hermann Haertig, Jork Loeser, Jork Löser, Frank Mehnert, Lars Reuther, Martin Pohlack, Alexander Warg
High-Speed I/O: The Operating System as a Signalling Mechanism, 2003, Matthew Burnside, Angelos D. Keromytis
Unmodified device driver reuse and improved system dependability via virtual machines, 2004, Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
External Projects
Project UDI, a multi-company effort to define a Uniform Driver Interface
-
- Unofficial OSKit source on Savannah
Mach-like
It might be possible to integrate these systems' device drivers, as they're expected to mostly be using the same interfaces as the current in-kernel Mach drivers are.
OSF Mach
Darwin