deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Description: |-
UEFI Shell for 64-bit x86 architecture
The UEFI Shell provides a command line interface running on top of the EFI API.
It can be used to execute EFI binaries, to manage EFI variables and boot
options, or to display details of installed devices, drivers, and protocols.
This package contains the shellx64.efi binary for the 64-bit x86
architecture.
Homepage: http://www.tianocore.org
Installed-Size: '904'
Maintainer: Debian QEMU Team <pkg-qemu-devel@lists.alioth.debian.org>
Package: efi-shell-x64
Priority: optional
Section: misc
Source: edk2
Version: 2024.08-4
srcpkg_name: edk2
srcpkg_version: 2024.08-4