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 /dde.mdwn | |
| parent | 4845d8baf357752e6a67be08cd17f32535cac86b (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 'dde.mdwn')
| -rw-r--r-- | dde.mdwn | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -8,6 +8,15 @@ 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]]."]]"""]] + +[[!template id=highlight text="""/!\ Obsolete /!\ + +--- + +DDE is no longer being updated or maintained. The [[Rump_kernel]] is a better alternative. +"""]] + + * [[community/gsoc/project ideas/driver glue code]] * [[open issues/user-space device drivers]] |