[ trixie ]
[ sid ]
[ Source: edk2 ]
Package: efi-shell-ia32 (2024.08-4)
Links for efi-shell-ia32
Debian Resources:
Download Source Package edk2:
Maintainers:
- Debian QEMU Team (QA Page, Mail Archive)
- Steve Langasek (QA Page)
- Serge Hallyn (QA Page)
- dann frazier (QA Page)
External Resources:
- Homepage [www.tianocore.org]
Similar packages:
UEFI Shell for 32-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 shellia32.efi binary for the a 32-bit x86 architecture.
Download efi-shell-ia32
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 234.3 kB | 844.0 kB | [list of files] |