Subject: Re: bug#41541: [PATCH 1/8] system: Add 'hurd' field to <operating-system>.

From: Mathieu Othacehe <[email-masked]>
Date: Sat, 06 Jun 2020 09:21:08 +0200

Hey Jan,

> +Using GNU@tie{}mach in combination with a @code{hurd} is experimental
> +and only available when building a vm-image.}.

Maybe replace "vm-image" by "virtual machine disk image"?
> +
> +@cindex hurd
> +@item @code{hurd} (default: @code{#f})
> +The hurd to be started by the kernel.  This is required to build an
> +experimental vm-image for the Hurd and requires using @code{kernel}

Ditto.

Thanks,

Mathieu