diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2025-07-04 09:15:29 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-10-13 13:27:43 +0300 |
| commit | aed33e0aeda3d7dbffd8157d6c9863ab5f976c99 (patch) | |
| tree | 1693e8846725bd34d93c69fe7c221659ff3e02c6 | |
| parent | 79086bb15f99bc31f0f8661172c43e7925bbd117 (diff) | |
gnu: grub-efi: Limit supported systems.
* gnu/packages/bootloaders.scm (grub-efi)[supported-systems]: New field.
Change-Id: Ie0df87eb3cba289f53459f80cab2ac1c4fe1e99a
| -rw-r--r-- | gnu/packages/bootloaders.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 840cce37122..ea5400b5b59 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm | |||
| @@ -486,7 +486,11 @@ menu to select one of the installed operating systems.") | |||
| 486 | (("\"mcopy\"") | 486 | (("\"mcopy\"") |
| 487 | (string-append "\"" | 487 | (string-append "\"" |
| 488 | (search-input-file inputs "/bin/mcopy") | 488 | (search-input-file inputs "/bin/mcopy") |
| 489 | "\""))))))))))) | 489 | "\""))))))))) |
| 490 | ;; Check configure.ac for the list of supported EFI platforms. | ||
| 491 | (supported-systems '("i686-linux" "x86_64-linux" | ||
| 492 | "i586-gnu" "x86_64-gnu" | ||
| 493 | "armhf-linux" "aarch64-linux" "riscv64-linux"))))) | ||
| 490 | 494 | ||
| 491 | (define-public grub-efi32 | 495 | (define-public grub-efi32 |
| 492 | (package | 496 | (package |