11 edk2.mkDerivation "ShellPkg/ShellPkg.dsc" (finalAttrs: {
12 pname = "edk2-uefi-shell";
13 inherit (edk2) version;
21 ++ lib.optionals stdenv.cc.isClang [
27 env.NIX_CFLAGS_COMPILE = toString (
28 lib.optionals stdenv.cc.isClang [
34 # Set explicitly to use Python 3 from nixpkgs. Otherwise, the build system will detect and try to
35 # use `/usr/bin/python3` on Darwin when sandboxing is disabled.
36 PYTHON_COMMAND = "${lib.getBin pkgsBuildHost.python3}/bin/python3";
38 # We only have a .efi file in $out which shouldn't be patched or stripped
42 # GUID hardcoded to match ShellPkg.dsc
45 install -D -m0644 Build/Shell/RELEASE*/*/Shell_EA4BB293-2D7F-4456-A681-1F22F42CD0BC.efi $out/shell.efi
49 passthru.efi = "${finalAttrs.finalPackage}/shell.efi";
52 inherit (edk2.meta) license platforms;
53 description = "UEFI Shell from Tianocore EFI development kit";
54 homepage = "https://github.com/tianocore/tianocore.github.io/wiki/ShellPkg";
55 maintainers = with lib.maintainers; [
59 broken = stdenv.hostPlatform.isDarwin && stdenv.hostPlatform.isAarch64;