From 4b9cb5f87c77e576c7873cdfba7df324b8d29b55 Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Thu, 18 Jul 2024 00:01:27 +0300 Subject: gnu: edk2-tools: Limit supported systems. * gnu/packages/firmware.scm (edk2-tools)[supported-systems]: New field. Change-Id: I1b8a63221b361ec440783c7d93ae120b53cabe2b --- gnu/packages/firmware.scm | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gnu/packages/firmware.scm') diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 0ed6609c26a..7908e1a3fc8 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -882,6 +882,9 @@ Executables included are: @item @code{VfrCompile}: Parse preprocessed UEFI and Framework VFR files. @item @code{VolInfo}: Display the contents of a firmware volume. @end itemize") + ;; See BaseTools/Source/C/GNUmakefile + (supported-systems '("x86_64-linux" "i686-linux" "armhf-linux" + "aarch64-linux" "riscv64-linux")) (license license:bsd-2))) (define* (make-ovmf-firmware arch) -- cgit v1.2.3