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 /gnu/build/svg.scm | |
parent | 1ec366cdfd92e4913ab7d1096520410272e3c89c (diff) | |
download | guix-b0afa3c5f6fc3dc84779be64d03cdff4ab295a33.tar.gz |
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 'gnu/build/svg.scm')
0 files changed, 0 insertions, 0 deletions