[ trixie ]
[ sid ]
[ Paquet source : edk2 ]
Paquet : efi-shell-x64 (2024.08-4)
Liens pour efi-shell-x64
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source edk2 :
Responsables :
- Debian QEMU Team (Page QA, Archive du courrier électronique)
- Steve Langasek (Page QA)
- Serge Hallyn (Page QA)
- dann frazier (Page QA)
Ressources externes :
- Page d'accueil [www.tianocore.org]
Paquets similaires :
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.
Télécharger efi-shell-x64
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 246,4 ko | 904,0 ko | [liste des fichiers] |