GNU bug report logs - #27705
[PATCH 0/4] Make both EFI and non-EFI systems boot our disk images.

Previous Next

Package: guix-patches;

Reported by: Danny Milosavljevic <dannym <at> scratchpost.org>

Date: Sat, 15 Jul 2017 13:36:03 UTC

Severity: normal

Tags: patch

Done: Danny Milosavljevic <dannym <at> scratchpost.org>

Bug is archived. No further changes may be made.

Full log

Message #20 received at 27705 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: 27705 <at> debbugs.gnu.org
Subject: Re: [PATCH 3/4] gnu: grub-efi: Add grub.
Date: Mon, 17 Jul 2017 20:00:45 +0200

> +               (add-after 'install 'install-non-efi
> +                 (lambda* (#:key inputs outputs #:allow-other-keys)
> +                   ;; grub-mkresuce can use it for making a hybrid image.
> +                   (copy-recursively (string-append (assoc-ref inputs "grub")
> +                                                    "/lib/grub/i386-pc")
> +                                     (string-append (assoc-ref outputs "out")
> +                                                    "/lib/grub/i386-pc"))
> +                   #t)))))))))

Hmm, what happens on non-x86 architectures that nonetheless use grub-efi (there are apparently such).
This bug report was last modified 7 years and 347 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.