diff options
| author | Sergey Trofimov <sarg@sarg.org.ru> | 2023-03-22 13:53:28 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-07-07 21:14:10 +0200 |
| commit | 209204e23b39af09e0ea92540b6fa00a60e6a0ae (patch) | |
| tree | 0afbe82bb47d5447de481bef6d002d90d4b867e2 /gnu/system | |
| parent | 4722496292ea282db7d1779bfada1e6a3813be99 (diff) | |
image: Prefer gpt partition table for efi images
* gnu/system/image.scm (efi-disk-image): Use gpt partition-table-type.
(efi32-disk-image): Use gpt partition-table-type.
(qcow2-image-type): Use mbr partition-table-type explicitly.
* gnu/tests/image.scm: Assert partition table type of efi-disk-image.
Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/image.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm index 81346495c2..841e7e0c7e 100644 --- a/gnu/system/image.scm +++ b/gnu/system/image.scm @@ -148,11 +148,13 @@ parent image record." (define efi-disk-image (image-without-os (format 'disk-image) + (partition-table-type 'gpt) (partitions (list esp-partition root-partition)))) (define efi32-disk-image (image-without-os (format 'disk-image) + (partition-table-type 'gpt) (partitions (list esp32-partition root-partition)))) (define iso9660-image @@ -215,6 +217,7 @@ set to the given OS." (constructor (cut image-with-os (image (inherit efi-disk-image) + (partition-table-type 'mbr) (name 'image.qcow2) (format 'compressed-qcow2)) <>)))) |