summaryrefslogtreecommitdiff
path: root/dde.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2010-01-03 00:52:34 +0100
committerThomas Schwinge <thomas@schwinge.name>2010-01-03 00:52:34 +0100
commit6f4b674e251d04a998f3419308f8e6e3df2f0b07 (patch)
tree0796b50f64d8f95402fbfdc8b9f9560efaac8b03 /dde.mdwn
parent7c50bb4592c721074683b4c64e30e614a258618d (diff)
open_issues/dde -> dde
Diffstat (limited to 'dde.mdwn')
-rw-r--r--dde.mdwn42
1 files changed, 42 insertions, 0 deletions
diff --git a/dde.mdwn b/dde.mdwn
new file mode 100644
index 00000000..7d341da5
--- /dev/null
+++ b/dde.mdwn
@@ -0,0 +1,42 @@
+[[!meta copyright="Copyright © 2009, 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
+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]]."]]"""]]
+
+ * [[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>