# Source: edk2 # Package: efi-shell-x64 # Versions: efi-shell-x64 (2023.05-1), efi-shell-x64 (2023.05-2), efi-shell-x64 (2023.11-2) # This Description is owned # Prioritize: 45 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 a 64-bit x86 architecture. Description-it: Shell UEFI per architetture x86 a 64 bit La UEFI Shell fornisce un'interfaccia a riga di comando che viene eseguita sopra all'API EFI. Può essere usata per eseguire binari EFI, gestire variabili e opzioni di avvio EFI o per visualizzare i dettagli su dispositivi, driver e protocolli installati. Questo pacchetto contiene il binario shellx64.efi per l'architettura x86 a 64 bit. # other Descriptions of the efi-shell-x64 package with a translation in it: # # Description-id: 302395 https://ddtp.debian.org/ddt.cgi?desc_id=302395 # patch https://ddtp.debian.org/ddt.cgi?diff1=302395&diff2=299034&language=it # This Description is active # This Description was in forky from 2025-08-10 to 2026-09-04; # This Description was in sid from 2024-01-02 to 2026-09-04; # This Description was in trixie from 2024-01-13 to 2026-07-13; #