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 /community/gsoc/project_ideas/driver_glue_code.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 'community/gsoc/project_ideas/driver_glue_code.mdwn')
| -rw-r--r-- | community/gsoc/project_ideas/driver_glue_code.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/gsoc/project_ideas/driver_glue_code.mdwn b/community/gsoc/project_ideas/driver_glue_code.mdwn index 1771756e..db1816c9 100644 --- a/community/gsoc/project_ideas/driver_glue_code.mdwn +++ b/community/gsoc/project_ideas/driver_glue_code.mdwn @@ -27,7 +27,7 @@ This is [[!GNU_Savannah_task 5488]]. [[open issues/user-space device drivers]]. [[open issues/device drivers and io systems]]. -The most promising approach for getting newer drivers seems to be the [[Rump_Kernel]]: +The most promising approach for getting newer drivers seems to be the [[Rump_kernel]]: it already does the hard work of providing an environment where the foreign drivers can run, and offers the additional benefit of being externally maintained. |