summaryrefslogtreecommitdiff
path: root/gnu/bootloader
diff options
context:
space:
mode:
authorBrice Waegeneire <brice@waegenei.re>2019-12-12 20:53:06 +0100
committerDanny Milosavljevic <dannym@scratchpost.org>2019-12-23 09:28:42 +0100
commitb0d09586b1092ad15496ed08bb7631eaa8dc9a86 (patch)
tree6d4cef939db8157e5e87b5d8e4f3f5e0386bc909 /gnu/bootloader
parentc9ea88734b99545ec844d4c2ee77919a1a678d5f (diff)
downloadpatches-b0d09586b1092ad15496ed08bb7631eaa8dc9a86.tar
patches-b0d09586b1092ad15496ed08bb7631eaa8dc9a86.tar.gz
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 <dannym@scratchpost.org>
Diffstat (limited to 'gnu/bootloader')
-rw-r--r--gnu/bootloader/grub.scm8
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index d984d5f5e3..fd62f627a0 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))