bootloader: Add 'disk-image-installer'.
authorMathieu Othacehe <othacehe@gnu.org>
Sat, 23 May 2020 17:09:14 +0000 (19:09 +0200)
committerMathieu Othacehe <othacehe@gnu.org>
Fri, 29 May 2020 06:37:13 +0000 (08:37 +0200)
commit7feefb3b82186be382725ac2d6b7e9f8953e4a83
tree6b352b4bdeec4425ba647047a056a94b3f16ef6d
parent7c5c21fd467cb4554a39569087a118621fc42ec3
bootloader: Add 'disk-image-installer'.

* gnu/bootloader.scm (<bootloader>)[disk-image-installer]: New field,
(bootloader-disk-image-installer): export it.
* gnu/bootloader/grub.scm (install-grub-disk-image): New procedure ...
(grub-bootloader): ... used as "disk-image-installer" here.
(grub-efi-bootloader): set "disk-image-installer" to #f.
* gnu/system/image.scm (root-partition?, find-root-partition): Move to
"Helpers" section.
(root-partition-index): New procedure.
(system-disk-image): Honor disk-image-installer, and
use it to install the bootloader directly on the disk-image, if supported.
gnu/bootloader.scm
gnu/bootloader/grub.scm
gnu/system/image.scm