diff options
| author | Joshua Branson <jbranso@fastmail.com> | 2018-10-27 09:17:53 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-10-27 15:57:48 +0200 |
| commit | f83b1996844c5c0dd5596c615f92250b6ba84f22 (patch) | |
| tree | 03e1a2db7cd7b1b2d4844d243d5ec3350e8f5b72 /open_issues/device_drivers_and_io_systems.mdwn | |
| parent | 4845d8baf357752e6a67be08cd17f32535cac86b (diff) | |
| download | web-f83b1996844c5c0dd5596c615f92250b6ba84f22.tar.gz web-f83b1996844c5c0dd5596c615f92250b6ba84f22.tar.bz2 web-f83b1996844c5c0dd5596c615f92250b6ba84f22.zip | |
* 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/device_drivers_and_io_systems.mdwn')
| -rw-r--r-- | open_issues/device_drivers_and_io_systems.mdwn | 2 |
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 |