image: Use grub-efi to install the EFI bootloader.
authorMathieu Othacehe <othacehe@gnu.org>
Sat, 23 May 2020 17:10:04 +0000 (19:10 +0200)
committerMathieu Othacehe <othacehe@gnu.org>
Fri, 29 May 2020 06:43:20 +0000 (08:43 +0200)
commit05f37c16a3b159e58ce7343383b44073bd6cac9f
tree7c4b69fc4a48b1a80edab6f277d22c2041e61a31
parent7d4ecda63caa9f566620844dbc800a8158f861a6
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.
gnu/build/image.scm
gnu/system/image.scm