diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2020-11-11 14:48:54 -0500 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2020-11-17 15:20:03 -0500 |
commit | b0afa3c5f6fc3dc84779be64d03cdff4ab295a33 (patch) | |
tree | b0541df4d5dca210663a45c89b169f50ea2b96eb /guix/scripts/deploy.scm | |
parent | 1ec366cdfd92e4913ab7d1096520410272e3c89c (diff) |
bootloader: grub: Skip install-grub-efi when producing a disk image.
Fixes <http://issues.guix.gnu.org/44353>.
Every bootloader should try their best to install themselves using only the
MOUNT-POINT and otherwise do nothing. This requirement comes from the
necessity to call INSTALL-GRUB when installing the (non-EFI) GRUB bootloader,
which needs to populate the root file system with extra modules that cannot be
fit in the core.img file, limited in size to 491520 bytes (by the i386-pc
format required for legacy BIOS compatibility).
As introducing bootloader knowledge at the level of the image code is
undesirable, every bootloader should be adapted to support this fall-back for
their installation procedure (TODO).
* gnu/bootloader/grub.scm (install-grub-efi)[efi-dir]: Skip when the EFI-DIR
argument is set to #f.
Diffstat (limited to 'guix/scripts/deploy.scm')
0 files changed, 0 insertions, 0 deletions