diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-23 19:09:14 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 08:37:13 +0200 |
commit | 7feefb3b82186be382725ac2d6b7e9f8953e4a83 (patch) | |
tree | 6b352b4bdeec4425ba647047a056a94b3f16ef6d /tests/pki.scm | |
parent | 7c5c21fd467cb4554a39569087a118621fc42ec3 (diff) | |
download | guix-7feefb3b82186be382725ac2d6b7e9f8953e4a83.tar.gz guix-7feefb3b82186be382725ac2d6b7e9f8953e4a83.zip |
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.
Diffstat (limited to 'tests/pki.scm')
0 files changed, 0 insertions, 0 deletions