open_issues/device_drivers_and_io_systems: New page.

open_issues/user-space_device_drivers: Likewise.

2 files changed, 168 insertions, 0 deletions

diff --git a/open_issues/device_drivers_and_io_systems.mdwn b/open_issues/device_drivers_and_io_systems.mdwn
new file mode 100644
index 00000000..57a96cd0
--- /dev/null
+++ b/open_issues/device_drivers_and_io_systems.mdwn
@@ -0,0 +1,69 @@
+[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!tag open_issue_gnumach open_issue_hurd]]
+
+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](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3210),
+    1991, Alessandro Forin, David Golub, Brian Bershad
+
+  * [Linux Device Driver Emulation in
+    Mach](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7252),
+    1996, Shantanu Goel, Dan Duchamp
+
+  * [Eliminating receive livelock in an interrupt-driven
+    kernel](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.8257),
+    1997, Jeffrey Mogul, Dec Western, Jeffrey C. Mogul, K. K. Ramakrishnan
+
+  * [IO-Lite: A Unified I/O Buffering and Caching
+    System](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4224),
+    1997, Vivek S. Pai, Peter Druschel, Willy Zwaenepoel
+
+  * [The Flux OSKit: A substrate for kernel and language
+    research](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.534),
+    1997, Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin
+    Shivers
+
+  * [Reuse Linux Device Drivers in Embedded
+    Systems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.6951),
+    1998, Chi-wei Yang, Paul C. H. Lee, Ruei-Chuan Chang
+
+  * [THINK: A Software Framework for Component-based Operating System
+    Kernels](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.9239),
+    2002, Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles
+    Muller
+
+  * [An I/O Architecture for Microkernel-Based Operating
+    Systems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4337),
+    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](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6991),
+    2003, Matthew Burnside, Angelos D. Keromytis
+
+  * [Unmodified device driver reuse and improved system dependability via
+    virtual
+    machines](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.5317),
+    2004, Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
+
+
+# Projects
+
+  * [Building Linux Device Drivers on
+    FreeBSD](http://info.iet.unipi.it/~luigi/FreeBSD/linux_bsd_kld.html)
diff --git a/open_issues/user-space_device_drivers.mdwn b/open_issues/user-space_device_drivers.mdwn
new file mode 100644
index 00000000..154a525c
--- /dev/null
+++ b/open_issues/user-space_device_drivers.mdwn
@@ -0,0 +1,99 @@
+[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!tag open_issue_gnumach open_issue_hurd]]
+
+This is a collection of resources concerning *user-space device drivers*.
+
+Also see [[device drivers and IO systems]].
+
+
+# Documentation
+
+  * [An Architecture for Device Drivers Executing as User-Level
+    Tasks](http://portal.acm.org/citation.cfm?id=665603), 1993, David B. Golub,
+    Guy G. Sotomayor, Freeman L. Rawson, III
+
+  * [Performance Measurements of the Multimedia Testbed on Mach 3.0: Experience
+    Writing Real-Time Device Drivers, Servers, and
+    Applications](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.8685),
+    1993, Roger B. Dannenberg, David B. Anderson, Tom Neuendorffer, Dean
+    Rubine, Jim Zelenka
+
+  * [User Level IPC and Device Management in the Raven
+    Kernel](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3733),
+    1993, D. Stuart Ritchie, Gerald W. Neufeld
+
+  * [Creating User-Mode Device Drivers with a
+    Proxy](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.3055),
+    1997, Galen C. Hunt
+
+  * [The APIC Approach to High Performance Network Interface Design: Protected
+    DMA and Other
+    Techniques](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1198),
+    1997, Zubin D. Dittia, Guru M. Parulkar, Jerome R. Cox, Jr.
+
+  * [The Fluke Device Driver
+    Framework](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.7927),
+    1999, Kevin Thomas Van Maren
+
+  * [Omega0: A portable interface to interrupt hardware for L4
+    system](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.5958),
+    2000, Jork Löser, Michael Hohmuth
+
+  * [Userdev: A Framework For User Level Device Drivers In
+    Linux](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.4461),
+    2000, Hari Krishna Vemuri
+
+  * [User Mode Drivers](http://www.linuxjournal.com/article/5442), 2002, Bryce
+    Nakatani
+
+  * [Towards Untrusted Device
+    Drivers](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.1725),
+    2003, Ben Leslie, Gernot Heiser
+
+  * [Encapsulated User-Level Device Drivers in the Mungi Operating
+    System](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1531),
+    2004, Ben Leslie Nicholas, Nicholas FitzRoy-Dale, Gernot Heiser
+
+  * [Linux Kernel Infrastructure for User-Level Device
+    Drivers](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1408),
+    2004, Peter Chubb
+
+      * [Get More Device Drivers out of the
+        Kernel!](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6333),
+        2004, Peter Chubb
+
+      * <http://gelato.unsw.edu.au/IA64wiki/UserLevelDrivers>
+
+  * [Initial Evaluation of a User-Level Device
+    Driver](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4531),
+    2004, Kevin Elphinstone, Stefan Götz
+
+  * [User-level Device Drivers: Achieved
+    Performance](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6766),
+    2005, Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles
+    Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone,
+    Gernot Heiser
+
+  * [Virtualising
+    PCI](http://www.ice.gelato.org/about/oct06_presentations.php#pres14), 2006,
+    Myrto Zehnder, Peter Chubb
+
+  * [Microdrivers: A New Architecture for Device
+    Drivers](http://www.cs.rutgers.edu/~vinodg/papers/hotos2007/), 2007, Vinod
+    Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
+
+
+# Projects
+
+  * <http://ertos.nicta.com.au/research/drivers/uldd/>
+
+  * <http://savannah.nongnu.org/projects/user-drivers>