jbra...@dismail.de, le lun. 22 mai 2023 11:48:35 -0400, a ecrit:
> + Trying out rumpdisk
> +
> +
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
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
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
* 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 +