Subject: Re: bug#63527: [PATCH 0/3] Initial attempt at rumpdisk support for the Hurd.

From: Ludovic Courtès <[email-masked]>
Date: Wed, 24 May 2023 11:36:51 +0200

Janneke Nieuwenhuizen <[email-masked]> skribis:

> * gnu/packages/patches/gnumach-support-noide.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add it.
> * gnu/packages/hurd.scm (gnumach-headers): Use it.
> * doc/guix.texi (Bootloader Configuration): Document it.

[...]

> +@lisp
> +'("console=com0"")
                  ^
Extra quote.

> +To use the new (experimental) rumpdisk (See
> +@url{https://darnassus.sceen.net/~hurd-web/rump_kernel/, GNU Hurd rump
> +kernel}) instead of the legacy gnumach buitin IDE support:

Nitpick:

  To use the new and still experimental
  @uref{https://darnassus.sceen.net/~hurd-web/rump_kernel/, rumpdisk
  user-level disk driver} instead of GNU@tie{}Mach's in-kernel IDE
  driver, set @code{kernel-arguments} to:

Ludo’.