summaryrefslogtreecommitdiff
path: root/open_issues
diff options
context:
space:
mode:
authorJoshua Branson <jbranso@fastmail.com>2018-10-27 09:17:53 -0400
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-10-27 15:57:48 +0200
commitf83b1996844c5c0dd5596c615f92250b6ba84f22 (patch)
tree03e1a2db7cd7b1b2d4844d243d5ec3350e8f5b72 /open_issues
parent4845d8baf357752e6a67be08cd17f32535cac86b (diff)
* I modified tcp_ip_stack to reflect that lwip should replace pfinet.
* I modified open_issues/device_drivers_and_io_systems to include rump kernel. * I created a rump kernel wiki page, and I linked to it from the project_ideas/tcp_ip_stack webpage. * I added an obsolete logo to the DDE page, to pointe people to the Rump kernel page.
Diffstat (limited to 'open_issues')
-rw-r--r--open_issues/device_drivers_and_io_systems.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/open_issues/device_drivers_and_io_systems.mdwn b/open_issues/device_drivers_and_io_systems.mdwn
index 085a737a..72f60e00 100644
--- a/open_issues/device_drivers_and_io_systems.mdwn
+++ b/open_issues/device_drivers_and_io_systems.mdwn
@@ -68,6 +68,8 @@ Also see [[user-space device drivers]].
# External Projects
+ * [[Rump_kernel]]
+
* [[/DDE]]
* [Building Linux Device Drivers on