| UEFI firmware for 64-bit x86 virtual machines | |
| https://github.com/tianocore/edk2 | |
| edk2-ovmf-202211 | BSD-2 MIT |
| download-* amd64 | zGentoo |
| edk2-ovmf-202202 | BSD-2 MIT |
| download-* amd64 | gentoo |
| edk2-ovmf-202105-r2 | BSD-2 MIT |
| downloadamd64 arm64 ~loong ~ppc ppc64 ~riscv x86 | gentoo |