web.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updated the information about the rump kernels, and included a guide on how ↵	jbranso@dismail.de	2023-05-25	1	-42/+0
\| \| \| \| \| \| \| \| \| \| \|	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>
*	link redirects to unrelated site.	aaric	2022-10-19	1	-2/+0
\|
*	rump_kernel: Add link to Robert's project.	Ricardo Wurmus	2020-04-03	1	-0/+4
\| \| \| \|	Message-Id: <20200403100115.12353-1-rekado@elephly.net>
*	* I modified tcp_ip_stack to reflect that lwip should replace pfinet.	Joshua Branson	2018-10-27	1	-0/+40
	* 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.