summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-05-23 19:10:04 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-05-29 08:43:20 +0200
commit05f37c16a3b159e58ce7343383b44073bd6cac9f (patch)
tree7c4b69fc4a48b1a80edab6f277d22c2041e61a31 /gnu/system
parent7d4ecda63caa9f566620844dbc800a8158f861a6 (diff)
image: Use grub-efi to install the EFI bootloader.
* gnu/build/image.scm (initialize-efi-partition): Rename bootloader-package argument to grub-efi. * gnu/system/image.scm (system-disk-image): Adapt accordingly to pass grub-efi package.
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/image.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm
index 67cf5fdddc..93b95b307b 100644
--- a/gnu/system/image.scm
+++ b/gnu/system/image.scm
@@ -234,6 +234,7 @@ used in the image."
#:references-graphs '#$graph
#:deduplicate? #f
#:system-directory #$os
+ #:grub-efi #+grub-efi
#:bootloader-package
#+(bootloader-package bootloader)
#:bootloader-installer