edk2: add 32-bit ARM support

This commit is contained in:
Alyssa Ross 2023-01-02 03:31:01 +00:00
parent a7a79b12eb
commit 35b4b29302

View file

@ -17,6 +17,8 @@ targetArch = if stdenv.isi686 then
"IA32"
else if stdenv.isx86_64 then
"X64"
else if stdenv.isAarch32 then
"ARM"
else if stdenv.isAarch64 then
"AARCH64"
else
@ -83,7 +85,7 @@ edk2 = buildStdenv.mkDerivation {
description = "Intel EFI development kit";
homepage = "https://github.com/tianocore/tianocore.github.io/wiki/EDK-II/";
license = licenses.bsd2;
platforms = with platforms; aarch64 ++ i686 ++ x86_64;
platforms = with platforms; aarch64 ++ arm ++ i686 ++ x86_64;
};
passthru = {