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
