bug#41541: [PATCH 3/8] system: Add 'multiboot-modules' field to <boot-parameters>.

[Mathieu Othacehe]

> +             (mach (if (%current-target-system)
> +                       ;; A cross-built GNUmach does not work
> +                       (with-parameters ((%current-system "i686-linux")
> +                                         (%current-target-system #f))
> +                         mach)

Maybe it would make more sense to check if we are on a Hurd system,
rather than just checking for %current-target-system to be set, don't
know.

> +         (libc (if target
> +                   (with-parameters ((%current-target-system #f))
> +                     (cross-libc target))
> +                   glibc))

In the future, it would be nice to make this think transparent. Anyway,
for now this is the best we can do I think.

Thanks,

Mathieu