diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-06-17 23:18:35 -0600 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2022-06-24 10:21:06 +0200 |
| commit | 62c86c8391ceb8953ca972498fd75ea9298b85ff (patch) | |
| tree | f4ddcdf3749219c0fd36b92d0c2ba52b73566a07 /doc/contributing.texi | |
| parent | 242fad357e969da3b1f80b7e4360b54d99ee03f3 (diff) | |
| download | guix-62c86c8391ceb8953ca972498fd75ea9298b85ff.tar.gz | |
image: Add support for 32bit UEFI.
* gnu/bootloader/grub.scm (grub-efi32-bootloader): New variable. (install-grub-efi32): New variable. * gnu/build/bootloader.scm (install-efi): Add a 'targets' keyword argument. (install-efi-loader): Likewise. * gnu/build/image.scm (initialize-efi32-partition): New procedure. * gnu/packages/bootloaders.scm (grub-efi32): New variable. * gnu/system/image.scm (esp32-partition): New variable (efi32-disk-image): New variable. (efi32-raw-image-type): New variable. (system-disk-image)[partition-image]: Set '#:grub-efi32' when calling the partition initializer. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'doc/contributing.texi')
0 files changed, 0 insertions, 0 deletions