diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-01-03 00:52:34 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-01-03 00:52:34 +0100 |
| commit | 6f4b674e251d04a998f3419308f8e6e3df2f0b07 (patch) | |
| tree | 0796b50f64d8f95402fbfdc8b9f9560efaac8b03 /open_issues/dde.mdwn | |
| parent | 7c50bb4592c721074683b4c64e30e614a258618d (diff) | |
open_issues/dde -> dde
Diffstat (limited to 'open_issues/dde.mdwn')
| -rw-r--r-- | open_issues/dde.mdwn | 35 |
1 files changed, 2 insertions, 33 deletions
diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn index 99322dbc..ef319a5c 100644 --- a/open_issues/dde.mdwn +++ b/open_issues/dde.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2010 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 @@ -8,35 +8,4 @@ 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]]."]]"""]] - * [[community/gsoc/project ideas/driver glue code]] - - * [[open issues/user-space device drivers]] - - * [[open issues/device drivers and io systems]] - ---- - -# Documentation - - * <http://demo.tudos.org/dsweeper_tutorial.html> - - Why device drivers in user space; different possibilities for getting - device drivers; DDE's origins and rationale. - - * <http://wiki.tudos.org/DDE/DDEKit>, - <http://os.inf.tu-dresden.de/pipermail/l4-hackers/2009/004291.html> - - Structural overview of the components. - - -# Discussion - -DDE essentially is a glue layer to embed Linux device drivers into another -environement. In the DDE case, this *other environment* is a user-space task --- compared to the GNU Mach kernel having a *in-kernel* Linux 2.0 device -drivers glue code (cf. paper by Goel et al.). - - -# Source Code - - * <http://www.inf.tu-dresden.de/index.php?node_id=1584&ln=en> +[[!meta redir=/dde]] |