gnu: grub-efi: Limit supported systems.

* gnu/packages/bootloaders.scm (grub-efi)[supported-systems]: New field.

Change-Id: Ie0df87eb3cba289f53459f80cab2ac1c4fe1e99a
This commit is contained in:
Efraim Flashner 2025-07-04 09:15:29 +03:00
parent 79086bb15f
commit aed33e0aed
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -486,7 +486,11 @@ menu to select one of the installed operating systems.")
(("\"mcopy\"")
(string-append "\""
(search-input-file inputs "/bin/mcopy")
"\"")))))))))))
"\"")))))))))
;; Check configure.ac for the list of supported EFI platforms.
(supported-systems '("i686-linux" "x86_64-linux"
"i586-gnu" "x86_64-gnu"
"armhf-linux" "aarch64-linux" "riscv64-linux")))))
(define-public grub-efi32
(package