16/285: bootloader: grub: Add firmware setup entry.

[guix-commits]

kkebreau pushed a commit to branch wip-gnome3.34
in repository guix.

commit 33835517799ed9896f4b6fc39574833beba7a922
Author: Brice Waegeneire <address@hidden>
Date:   Thu Dec 12 20:53:06 2019 +0100

    bootloader: grub: Add firmware setup entry.
    
    * gnu/bootloader/grub.scm (grub-configuration-file): Add 'Firmware
    setup' entry for EFI platform.
    
    Signed-off-by: Danny Milosavljevic <address@hidden>
---
 gnu/bootloader/grub.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index d984d5f..fd62f62 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -384,7 +384,13 @@ set timeout=~a~%"
 submenu \"GNU system, old configurations...\" {~%")
                     #$@(map menu-entry->gexp old-entries)
                     (format port "}~%"))
-                 #~()))))
+                 #~())
+          (format port "
+if [ \"${grub_platform}\" == efi ]; then
+  menuentry \"Firmware setup\" {
+    fwsetup
+  }
+fi~%"))))
 
   (computed-file "grub.cfg" builder))