This is a collection of resources concerning device drivers and I/O systems in general.
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
Project UDI, a multi-company effort to define a Uniform Driver Interface
- Unofficial OSKit source on Savannah
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.