Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image.

2023-05-22 Thread Samuel Thibault
jbra...@dismail.de, le lun. 22 mai 2023 11:48:35 -0400, a ecrit: > + Trying out rumpdisk > + > +

Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image.

2023-05-22 Thread Amos Jeffries
On 23/05/2023 5:23 am, Joshua Branson wrote: Sergey Bugaev writes: Hi, On Mon, May 22, 2023 at 6:49 PM jbra...@dismail.de wrote: +upgrade to the bleeding edge Debian GNU/Hurd: + + $ wget http://ftp.de.debian.org/debian/pool/main/d/debian-ports-archive-keyring/debian-ports-archive-keyring_2023

Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image.

2023-05-22 Thread Joshua Branson
Sergey Bugaev writes: > Hi, > > On Mon, May 22, 2023 at 6:49 PM jbra...@dismail.de wrote: >> +upgrade to the bleeding edge Debian GNU/Hurd: >> + >> + $ wget >> http://ftp.de.debian.org/debian/pool/main/d/debian-ports-archive-keyring/debian-ports-archive-keyring_2023.02.01_all.deb >> + # dpkg

Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image.

2023-05-22 Thread Sergey Bugaev
Hi, On Mon, May 22, 2023 at 6:49 PM jbra...@dismail.de wrote: > +upgrade to the bleeding edge Debian GNU/Hurd: > + > + $ wget > http://ftp.de.debian.org/debian/pool/main/d/debian-ports-archive-keyring/debian-ports-archive-keyring_2023.02.01_all.deb > + # dpkg -i debian-ports-archive-keyr

[PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image.

2023-05-22 Thread jbra...@dismail.de
* 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. --- .../gsoc/project_ideas/driver_glue_code.mdwn | 2 +- hurd.mdwn | 3 +