summaryrefslogtreecommitdiff
path: root/rump_kernel.mdwn
AgeCommit message (Collapse)Author
2023-05-25Updated the information about the rump kernels, and included a guide on how ↵jbranso@dismail.de
to use them on the Debian qemu image. * community/gsoc/project_ideas/driver_glue_code.mdwn: changed rump kernel link. * hurd.mwdn: added a link to hurd/rump.mdwn. * hurd/rump.mdwn: new file. * rump_kernel.mwdn: deleted file. Message-Id: <20230524184304.3484-1-jbranso@dismail.de>
2022-10-19link redirects to unrelated site.aaric
2020-04-03rump_kernel: Add link to Robert's project.Ricardo Wurmus
Message-Id: <20200403100115.12353-1-rekado@elephly.net>
2018-10-27* I modified tcp_ip_stack to reflect that lwip should replace pfinet.Joshua Branson
* 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.