/pkgs/development/libraries/gnu-efi/