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 /microkernel/mach/rpc | |
| 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 'microkernel/mach/rpc')
0 files changed, 0 insertions, 0 deletions