[ trixie ]
[ sid ]
[ Paquet source : edk2 ]
Paquet : efi-shell-riscv64 (2024.08-4)
Liens pour efi-shell-riscv64
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 pour l’architecture RISC-V 64 bits
UEFI Shell fournit une interface en ligne de commande exécutée au-dessus de l’API EFI. Elle peut être utilisée pour exécuter des binaires EFI, pour gérer les variables EFI et les options d’amorçage, ou pour afficher les détails sur les périphériques, les pilotes et les protocoles installés. Ce paquet fournit le binaire shellriscv64.efi pour l’architecture RISC-V 64 bits.
Télécharger efi-shell-riscv64
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 251,6 ko | 1 133,0 ko | [liste des fichiers] |